Re: [U-Boot] Mainline u-boot SPL for socfpga