Re: [U-Boot] Newbie SPL question for socfpga_sockit