platform_device_register_simple(9) on Linux

The text cd8c07a1853e, as Debian 6.0 (Squeeze) shipped it.

add a platform-level device and its resources

platform_device_register_simple(9) on Linux now