[Bug 425717] GRUB boot menu should default to hidden