The text 7ba5ccaef3cc, as Debian 7 (Wheezy) shipped it.
pc keyboard interface
keyboard(4freebsd) on Linux now