Re: is mach_kernel compressed image?