fixes for inline kernel building