Fixed inline kernel building