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