s390/time: fix sched_clock() overflow