The text 3a41f7afeacb, as Debian 4.0 (Etch) shipped it.
cautiously acquire the lock for a
usb_lock_device_for_reset(9) on Linux now
