[U-Boot] Newbie SPL question for socfpga_sockit