The text a5c9ecb2e648, as Debian 4.0 (Etch) shipped it.
perform a USB port reset to reinitialize a device
usb_reset_device(9) on Linux now
