out into the libkern proper in case other ports want to use it. i386 kernels with COMPAT_LINUX should compile now.