[U-Boot] U-Boot Operation on Xilinx Zynq SoC with Micro C