[PATCH 0/3] Create sched_select_cpu() and use it in workqueues