Sligthly (un)related: The other day the builtin keyboard on my rather new Thinkpad X1C 12th stopped working. I connected a USB keyboard and tried to figure out whether there was an error in Linux kernel ring buffer or anything else explaining the problem.
To my surprise the internal keyboard is not even USB, but i8042. Not a hardware guy, but I had silently assumed everything is USB these days. I guess i8042 is the PS/2 protocol TFA is talking about?
(No error found, but after a reboot it has been working again.)