[PATCH 0/4] Fixes for RISC-V U-Boot SPL / OpenSBI boot flow