Bug#1051832: grub-efi-amd64: grub menu not shown on boot after upgrade to 2.12~rc1-9

[Agustin Martin]

Package: grub-efi-amd64
Version: 2.12~rc1-9
Severity: normal

Dear Maintainer,

After upgrade to 2.12~rc1-9 (from 2.06-13), grub menu is no longer shown during
boot. Pressing Shift key during boot does not help.

Browsing for some info I found

https://askubuntu.com/questions/182248/why-is-grub-menu-not-shown-when-starting-my-computer

where it is noted that sometines, auto loading of grub modules causes
race condition on slow PCs (this is a 10 years old box). To keep grub busy in
console and give enough time to load video modules, it is proposed to add 

# To resolve race condition when loading video drivers
videoinfo

at top of /boot/grub/grub.cfg. Did that, and menu is shown again in graphics
mode.

Adding GRUB_TERMINAL_OUTPUT=console to my /etc/default/grub.d/local-setings.cfg
and running update-grub also makes grub menu appear, now in text mode.

Downgrading to 2.06-13 also makes grub menu appear in graphics mode.

Thanks for your work.

Regards,

-- 
Agustin