[PATCH] s390: overflow in sched_clock