[PATCH] riscv: qemu: spl: Fix booting Linux kernel with OpenSBI 1.0+