Re: kernel build problems with KDB patch