option for path to mach_kernel