[syslinux] 32-bit and 64-bit UEFI syslinux in the fallback location on the same ESP

[intrigeri]

Hi,

FYI I've tried to add support for *both* 32-bit and 64-bit UEFI in
Tails, with syslinux 6.x installed on the same device, and failed.

My initial requirement is that the 32-bit and 64-bit bootloaders must
both be installed in the fallback location, on the same ESP.

My starting point is that syslinux 6.x 64-bit UEFI is installed in the
fallback location (EFI/BOOT/bootx64.efi) and works fine.

The blocker I've experienced is the naming of the syslinux modules:
syslinux modules are called just the same (*.c32), regardless of the
target architecture.

So:

* Did I miss an obvious solution to this problem? e.g., but not
  limited to:

* Is it possible to instruct a syslinux UEFI bootloader (e.g.
  the 32-bit one, installed in EFI/BOOT/bootia32.efi) to load its
  modules from a different directory?

* Is it possible to rename the modules (e.g. to give them an
  architecture-specific suffix/extension/prefix/whatever) and to tell
  syslinux about it somehow?

In the meantime, FWIW my current "solution" is to install GRUB2
i386-efi as the fallback bootloader for 32-bit UEFI, and use its
syslinux configuration support to provide a similar menu to our
existing syslinux 64-bit UEFI one. Seems to work just fine, but I've
only conducted limited testing so far.

Input welcome :)

Cheers,
-- 
intrigeri