BoardConfig.mk fixes