Add kernel configuration