Re: [U-Boot] Adding support for red pitaya zynq board; is zynq working?