support for inline kernel building