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