This is required to build GRUB UEFI target for RISC-V 32-bit. Signed-off-by: Bin Meng <bmeng.cn@gmail.com>