[PATCH 4.19 04/45] drivers/base: Introduce kill_device()