FYI, The following has been reported: _ OK: Syslinux EFI_IA32 -> x86_64 Linux kernel 4.4.x _ KO: Syslinux EFI_IA32 -> x86_64 Linux kernel >= 4.9.x Note: Where Syslinux is failing to boot the kernel, grub2 is OK. Considering other reports, I am _guessing_ that Syslinux is probably OK with kernel 4.8.x too and that the failure starts with kernel 4.9.x. Please note that this is UEFI IA32 with x86_64 processor / kernels. Tests were performed on QEMU and on real hardware (e.g. some ATOM-based models and similar match use this setup). It would be helpful if additional users would also test (e.g. qemu / OVMF / KVM / others) and report back. Developers and advance users are especially invited to be involved. -Ady.