[PATCH 1/1] riscv: Fix efi header size for RV32