[PATCH] s390: cputime_t fixes