[PATCH 4/6] efi: Add a version of efi_binary_run() with more parameters