Re: kext debugging