Replacing upstream UEFI shell binaries with those from the edk2-shell package

As discussed previously on the mailing list and again noted on our bug tracker, this replaces the downloaded UEFI shell binaries with those in our edk2-shell package.

Closes #1 (closed)

Merge request reports

Loading