workqueue: reimplement WQ_HIGHPRI using a separate worker_pool