implement get_cpu_clock() for s390/s390x