[U-Boot] Question about Zynq SPL