Re: kernel gettimeofday?