[U-Boot] [PATCH 0/6] Get socfpga gen5 SPL working again.