Add kernel configs