small syslinux changes