The text 93d41ff16a5b, as Debian 7 (Wheezy) shipped it.
add a numbers of platform devices
platform_add_devices(9) on Linux now
