config: update kernel configuration