Re: Switch kernel time functions to the new "time" debug channel