platform_device_put(9) on Linux

The text 96ac4f72d2aa, as Debian 4.0 (Etch) shipped it.

platform_device_put(9) on Linux now