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

Originally created by @intrigeri on #11734 (Redmine)

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

Edited May 15, 2020 by intrigeri

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