[PATCH v2 1/5] arm64: Fix vDSO clock_getres()