[PATCH v6 04/19] arm64: Substitute gettimeofday with C implementation