Don't know at the labs, but here we are about to adapt our
local kbd driver to the 4th edition
I'll post to 9fans when done.