platform_driver_register(9) on Linux

The text 268938a7c89d, as Debian 4.0 (Etch) shipped it.

platform_driver_register(9) on Linux now