The text 7a0b4bb6d0d5, as Debian 6.0 (Squeeze) shipped it.
remove a platform-level device
platform_device_del(9) on Linux now
