The text 6b2c78193eb2, as Debian 7 (Wheezy) shipped it.
unregister a driver for platform-level devices
platform_driver_unregister(9) on Linux now
