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