Comment 80 for bug 699802

Yesterday, grub-pc and grub-common were upgraded. Was it releated to this problem? I currently use the nvidia proprietary driver that disables the high-resolution boot manager display, so I don't know.