u-boot/configs/zynq_picozed_defconfig