Re: Kernel stack size and kernel memory debugger