Update BoardConfig.mk to match changes to defconfig