For inline kernel build