Add kernel config