Correcting a horrible bug that made me be stuck for days, should be using zynq_zed_config for uboot