Re: How to best debug kernel problems