modify kernel configs