mkinitcpio: try to determine the UEFI architecture
Use systemd-stub of the appropriate architecture. The system may have
multiple linux*.efi.stub
files available, but only one of them will
actually boot on the system.
Also detect when a 64-bit x86_64 system has a 32-bit IA32 UEFI and use the IA32 stub accordingly.