[PATCH] cpu-hotplug: release `workqueue_mutex' properly on CPU hot-remove