Re: [PATCH v4 3/7] efi_loader: Update efi_run_image() to accept image and device path