Re: holding shift on boot does not reveal grub menu