[PATCH v4 2/3] s390: Fix vDSO clock_getres()