Internalize our own kernel build