The text 0f7791eed3b4, as Debian 5.0 (Lenny) shipped it.
platform_device_add_resources(9) on Linux now
