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