kernel configs updated