Re: Formatting timestamps in the kernel