[PATCH 4.19 130/140] powerpc: Fix vDSO clock_getres()