7537b90c0036 ("sched: Simplify get_nohz_timer_target()")