Allow inline kernel build