[PATCH 4.19 099/131] s390/vdso: fix vDSO clock_getres()