Re: [PATCH v2 4/7] efi_loader: Add a version of efi_binary_run() with more parameters