libkern is only used as part of building the kernel. There's no reason for us to have a seperate package for it.