Update boardconfig to fix inline kernel building