modify kernel config