Re: how do I enable MACH_KDB on 10.8.0 ?