[PATCH v2 2/5] powerpc: Fix vDSO clock_getres()