[Bug 642403] grub sometimes processes keystrokes wrongly.