use zynq-boot to build boot.bin for Zynq platforms

Change-Id: Ibec5bfebcbb8b78e45b921bd0452c367de2165a2
formatting

Change-Id: I06dbbda837d729048cabec148fcea0cfbf5ec16c