[PATCH] riscv: Fix efi header for RV32