nohz: adjust tick_nohz_stop_sched_tick() call of s390 as well