what should i do with "The SYSLINUX binary from kernel.org is for 32 bits architectures, but your system is 64 bits." #66