[syslinux] EFI 64bit and Kernel 32 bit

[Ady Ady]

> is it possible to boot a 32 Bit Kernel on 64 EFI firmware with Syslinux?
 
In theory, booting 32-bit kernels from 64-bit EFI is supposed to be 
supported by "efi64/efi/syslinux.efi" since 2013Jun.

In practice:

_ there is no documentation in The Syslinux Project regarding the 
matter (other than the commit from Matt Fleming);

_ no one has reported success with this case (only failures);

_ the question has been asked in the past in this mailing list (and 
also by means of other official Syslinux channels), but Peter (hpa) has 
scarcely replied with inconsistent / confusing messages (or no reply at 
all).

I sincerely wished I had better news regarding this case.

Best Regards,
Ady.