Fixed naming mistake of .kernel_config