Call platform_device_unregister() for all platform devices that we've
registered.
Signed-off-by: NClemens Ladisch <clemens@ladisch.de>