The text d9c8945ad9a1, as Debian 4.0 (Etch) shipped it.
register driver for non-hotpluggable device
platform_driver_probe(9) on Linux now