Fixed kernel build error in libkern.