BoardConfig: try to fix compilation bug