Re: [PATCH] riscv: Fix efi header for RV32