[PATCH v7 18/25] arm: Add clock_gettime64 entry point