Hello! is it possible to boot a 32 Bit Kernel on 64 EFI firmware with Syslinux? I copied "efi64/efi/syslinux.efi", all files inside "efi64/com32/modules" and the file "ldlinux.e64" to my boot partition. with this configuration I am able to boot a 64 bit kernel. but not 32bit Kernel. does anyone knows how to do it? Best Regards