Aug 4 14:06:50 p7-1456c kernel: [ 0.555340] i8042: PNP: No PS/2 controller found. Probing ports directly. Aug 4 14:06:50 p7-1456c kernel: [ 0.555757] serio: i8042 KBD port at 0x60,0x64 irq 1 Aug 4 14:06:50 p7-1456c kernel: [ 0.555760] serio: i8042 AUX port at 0x...