The text b2e1b997d354, as Debian 4.0 (Etch) shipped it.
unregister a platform-level device
platform_device_unregister(9) on Linux now
