The text 8633e00a76ee, as Debian 6.0 (Squeeze) shipped it.
destroy a platform device
platform_device_put(9) on Linux now
