[PATCH v3 0/3] Fix vDSO clock_getres()