[PATCH] s390: stop_hz_timer vs. xtime updates