BoardConfig: try to fix compilation bug x2