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