Manually update BoardConfig.mk