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