The text a315fd35f5f6, as Debian 7 (Wheezy) shipped it.
deregister a USB device's dynamic minor.
usb_deregister_dev(9) on Linux now
