Could you check for syslinux as well please?