update kernel configuration