[Bug 1172024] Grub menu resolution not set to "preferred" video mode (UEFI)