[PATCH 1/1] efi_loader: use EFI_EXIT in efi_riscv_get_boot_hartid