mkarchiso: support other architectures
Detect the UEFI machine type short-name from $arch
to allow building
UEFI bootable ISOs on other architectures.
x86_64 specific things like CPU microcode, mixed-mode booting and BIOS booting are gated behind an architecture check.
Related to #193