[PATCH 05/11] sched: rewrite update_cpu_load_nohz