As a reference and a potential solution to some: The Debian 64-bit netinstall image (but only that one for some reason!) works with a 32-bit UEFI.
As a reference and a potential solution to some: The Debian 64-bit netinstall image (but only that one for some reason!) works with a 32-bit UEFI.