[PATCH 093/125] s390/vdso: fix vDSO clock_getres()