[U-Boot] Which carrier card is targeted by the zynq picozed implementation?