Tweak BoardConfig.mk