Fix up boardconfig