BIOS: it's the same machine as bug 1244312 (and became an issue when I was testing that bug).
(Is there a different way to bring up the GRUB menu on UEFI? If so, it should probably be documented...)
BIOS: it's the same machine as bug 1244312 (and became an issue when I was testing that bug).
(Is there a different way to bring up the GRUB menu on UEFI? If so, it should probably be documented...)