The text b03513c23518, as Debian 7 (Wheezy) shipped it.
DeRegister device driver hooks
mpt_device_driver_deregister(9) on Linux now
