Update kernel/workqueue.c