[arch-releng] [PATCH] Copy UEFI Shell to (ISO)/EFI/boot/bootx64.efi

Hi all, I created a minor patch (attached) to copy UEFI Shell to (ISO)/EFI/boot/bootx64.efi apart from setting up efiboot.img. With this change, creating a UEFI bootable USB is a simple task of extracting Archiso to FAT32 formatted USB and booting it. Without this change the user needs to use p7zip to extract files from efiboot.img . The shell binary is very small so this should not be an issue. I also added refind-efi-x86_64 to the list of packages in the ISO as this is required for providing a menu for EFISTUB booting. Regards. Keshav