[Bug 718178] PS/2 keyboard not being recognised at start-up, but unplugging/plugging later on works