Thanks. It indeed doesn't show the i8042, and I noticed now that serdev didn't get any devices. That said, the PS2 keyboard wasn't probed properly. Need to check further about that.