Enable kernel compilation with build