NOHZ: split tick_nohz_restart_sched_tick()