Update kernel configure file.