The text 72afb5598c90, as Debian 7 (Wheezy) shipped it.
add a platform device to device hierarchy
platform_device_add(9) on Linux now
