workqueue: fix flush_workqueue() vs CPU_DEAD race