[syslinux] EFI64 Boot 32 bit kernel....

[Ady Ady]

> Running 32-bit kernels on EFI64 is not really supported on any level,
> including the Linux kernel itself.  The opposite, 64-bit kernels on
> EFI32, is supportable if somewhat awkward.
> 
> 	-hpa
 
Users' experiences, bug reports, and commit(s) in the Syslinux code, 
all point against Peter's statement.

Whether any of these combinations actually work with Syslinux is 
another matter.

I already wrote about this in prior emails, but they were ignored.

Regards,
Ady.