[Bug 743399] Wireless keyboard not recognized during initial boot phase - cannot select options in grub menu splash screen