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