inline kernel building