Fix inline kernel building