u-boot/include/configs/zynq_zed.h