The text b8df1c7b2fc0, as Debian 7 (Wheezy) shipped it.
remove driver for a device and probe for a new driver
device_reprobe(9) on Linux now
