[PATCH 2/2] sched/nohz: fix overflow error in scheduler_tick_max_deferment()