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