[PATCH v2 3/5] s390: Fix vDSO clock_getres()