HowTo: Stop GRUB preventing auto-start of the OS after a previous boot failure