brendangregg option for path to mach_kernel

Users who have contributed to this file

• brendangregg