removed kernel.config as it must be accidentially added