inline kernel build