After hopefully fixing syslinux 64-bit kernel handover boot in 32-bit environment and testing in qemu I'm looking for testers owning real x86 EFI32 devices.
Please create a generic LE installation media, put the two attached files into /EFI/BOOT of the first partition and boot it.
Thanks.
