Fix for syslinux 6 + tools for kernel development