if _STANDALONE or _KERNEL, don't include standard headers and pull in libkern.h instead. (That doesn't even appear to be necessary, but it's the 'standard' thing to do.)