better kernel detection for syslinux.cfg