s390/time: ensure get_clock_monotonic() returns monotonic values