Hi, Thomas Letan via Syslinux wrote (04 Aug 2015 06:55:48 GMT) : > Syslinux 6.03 (efi64) fails to boot a 32-bit kernel. Maybe I'm missing something, but this has been working flawlessly for us in Tails so far. What exactly fails? Cheers, -- intrigeri