The text 9a7ff9baf3d6, as Debian 4.0 (Etch) shipped it.
deregister a USB device's dynamic minor.
usb_deregister_dev(9) on Linux now
