added kernel options with syslinux