fixes on BoardConfig.mk.