Add user settings to control kernel frequencies