1CONFIG_SPL=y 2CONFIG_ARM=y 3CONFIG_ARCH_ZYNQ=y 4CONFIG_TARGET_ZYNQ_PICOZED=y 5CONFIG_OF_CONTROL=n 6CONFIG_DEFAULT_DEVICE_TREE="zynq-picozed" 7