configure for inline kernel building