[ 2.470644] kernel: i8042: PNP: PS/2 Controller [PNP0303:PS2K] at 0x60,0x64 irq 1
[ 2.470645] kernel: i8042: PNP: PS/2 appears to have AUX port disabled, if this is incorrect please boot with i8042.nopnp
[ 2.484698] kernel: nvme nvme0: 21/0/0 default/read/poll queues
[ 2.490918] kernel: nvme0n1: p1 p2
[ 3.171704] kernel: i8042: Can't read CTR while initializing i8042
[ 3.171725] kernel: i8042 i8042: probe with driver i8042 failed with error -5
https://sof-ci.01.org/linuxpr/PR4869/build1901/devicetest/index.html?model=MTLP_RVP_NOCODEC&testcase=verify-kernel-boot-log
no idea what an i8042 is and why we still have PS/2 support :-)