change kernel config