Works with Debian Stretch after crossing a few pitfalls:
Kernels ~4.4 and later only boot in 1/10 boots unless Kernel Address Space Randomization is disabled (linux cmdline nokaslr), see https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=850980
- only has 32 Bit EFI implementation and no CSM, therefore requires 32-bit EFI Bootloader, 64 bit host systems work
- has no EFI variables, so Debian cannot register boot entry
instead move EFI/debian/grubia32.efi to EFI/boot/bootia32.efi