fixes in BoardConfig.mk