Re: Allow debug kernels for ppc64