[PATCH 05/10] sched: rewrite update_cpu_load_nohz