I have the same error as rbm, without patching compile, and patched no.
I take a look at headers, and libkern/mach_kernel_header.h is include under ifdef kernel argument.