[syslinux] Option to create livecd using new syslinux to support multiple machines.

[Matt Fleming]

On Fri, 05 Jul, at 12:35:58PM, Klaus Knopper wrote:
> EFI looks for a 64bit loader /efi/boot/bootx64.efi by default on 64bit
> machines, and looks for a 32bit loader /efi/boot/bootx32.efi by default
> on 32bit machines.
 
FYI, the filename for 32-bit is actually bootia32.efi.

-- 
Matt Fleming, Intel Open Source Technology Center