updated kernel detection for syslinux.cfg