The text cb00d872cad2, as Debian 4.0 (Etch) shipped it.
platform_device_add_resources(9) on Linux now
