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)