device_reprobe(9) on Linux

The text f75c0876fab6, as Debian 6.0 (Squeeze) shipped it.

remove driver for a device and probe for a new driver

device_reprobe(9) on Linux now