Re: [PATCH] workqueue: Fix memory ordering race in queue_work*()