[S390] introduce get_clock_monotonic