Inline kernel in boardconfig