target-s390x: Update s390x_{tod,cpu}_timer() to use S390CPU