The text 41275e8f3ad0, as Debian 7 (Wheezy) shipped it.
PS/2 mouse style pointing device driver
psm(4freebsd) on Linux now
