Add kernel configuration file