Using edk2-shell for UEFI shell

configs/releng/build.sh:
Instead of downloading UDK2018 based edk2 UEFI shell, use the Shell
binaries from the edk2-shell package.
This effectively makes the use of EFI shell v1 obsolete.

configs/releng/efiboot/loader/entries/uefi-shell-v*:
Renaming UEFI shell entries to match the packaged edk2-shell based UEFI
shell binaries.

configs/releng/build.sh:
Renaming the systemd-boot bootloader entries for UEFI shell (normal and
full version) to reflect their file names, which are derived from the
binary names in the edk2-shell package.
Copying the edk2-shell based UEFI shell binaries for normal efiboot and
.iso based "el-torito" efiboot mode.

docs/README.build:
Adding edk2-shell to the requirements in the documentation, as the
package is now used to provide UEFI shell.

1 files changed, 1 insertions, 0 deletions

diff --git a/docs/README.build b/docs/README.build
index 8055d1b..efa78d0 100644
--- a/docs/README.build
+++ b/docs/README.build
@@ -11,6 +11,7 @@ INDEX
 
 ** For mkarchiso script needs these packages (build host):
  + arch-install-scripts    for pacstrap/arch-chroot
+ + edk2-shell              for UEFI shell
  + squashfs-tools          for mksquashfs
  + libisoburn              for xorriso
  + btrfs-progs             for mkfs.btrfs (optional)