fixed kernel options warning