The text 8f87eea0e599, as Debian 7 (Wheezy) shipped it.
register driver for non-hotpluggable device
platform_driver_probe(9) on Linux now
