The text a5ac76e96c3b, as Debian 7 (Wheezy) shipped it.
register a new userspace IO device
__uio_register_device(9) on Linux now
