Re: kernel-debug-devel?