** Summary changed: - PS/2 keyboard does not work + PS/2 keyboard broken by "legacy USB keyboard" option in BIOS -- PS/2 keyboard broken by "legacy USB keyboard" option in BIOS https://launchpad.net/bugs/48877