[PATCH 5/9] x86/vdso: Provide clock_getres_time64() for x86-32