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