Re: [PATCH v7 04/25] arm64: Substitute gettimeofday with C implementation