The text bd54cc9e64af, as Debian 7 (Wheezy) shipped it.
deregister a ccw driver
ccw_driver_unregister(9) on Linux now
