Re: [PATCH] env: kconfig: Add default option for ARCH_ZYNQ