CPU arch detection for syslinux was updated to debian-next (Jessie) so that ifcpu64.c32 syslinux module is found due to its new path