Huh --- I did look at the defconfig file, but it never occurred to me to look at that bit (after all, the mailboard is most decidedly *not* a PC AT keyboard)...
Actually, it is- it's a PS/2 device. It just happens to be connected to some IO lines, rather than a FIFO, like it ought to be.
-J.