The text 7b9c25ea980a, as Debian 7 (Wheezy) shipped it.
create a platform device
platform_device_alloc(9) on Linux now
