[PATCH 1/6] drivers/base: Introduce kill_device()