Re: Kernel Debug Kit 10.4.11?