[PATCH 2/2] riscv64: enable EFI support and tools for riscv64