[darwinbuild] Size of mach_kernel when using darwinbuild?