new kernel, new config file