[Bug 669851] New: Grub does not show the menu anymore after booting into Windows