[PATCH v4 1/3] powerpc: Fix vDSO clock_getres()