The text a03bae84444d, as Debian 7 (Wheezy) shipped it.
add resources to a platform device
platform_device_add_resources(9) on Linux now
