Use ifcpu64.c32, vesamenu.c32, isolinux.bin from syslinux-common