Bug#1103692: syslinux-efi: 32-bit EFI mode doesn't work

[Marek Benc]

Hello,

FIY, I've forwarded the patch to upstream:
https://www.syslinux.org/archives/2025-April/026927.html


Best Regards,
Marek