[PATCH v7 24/25] x86: Add clock_gettime64 entry point