[PATCH] s390: next_timer_interrupt overflow in stop_hz_timer