91b41a237512 ("s390/time: Provide sched_clock_noinstr()")