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