Re: [U-Boot] Mainline u-boot on socfpga (SocKit) board