simple script to build a mach_kernel