Test the 64-bit ISO with 32-bit UEFI hardware

In theory such hardware (when it is actually 64-bit) could still be supported. Is it the case?

Original created by @intrigeri on 11734 (Redmine)

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information