The text 8a42073ecfa2, as Debian 4.0 (Etch) shipped it.
deregister a ccw driver
ccw_driver_unregister(9) on Linux now
