renamed kernel prefs