repair BoardConfig.mk