[Tock Devel] Re: Kerneldebug with uart