sched/nohz: Fix overflow error in scheduler_tick_max_deferment()