The text 35ce04d734bc, as Debian 7 (Wheezy) shipped it.
unregister a USB interface driver
usb_deregister(9) on Linux now
