Change CPU frequency from gnome shell