Add new kernel configuration files