[PATCH] Driver Core: Add platform_device_del()