platform_device_put(9) on Linux

The text 5f09c6bedc5e, as Debian 5.0 (Lenny) shipped it.

platform_device_put(9) on Linux now