resync kernel configurations, patch from Hauke Mehrtens (#4396)