Re: Kernel with kernel-debug option