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