The text 9f62b67072f7, as Debian 7 (Wheezy) shipped it.
add a platform-level device and its resources
platform_device_register_simple(9) on Linux now
