BoardConfig: Support inline kernel building