nodefourtytwo/gnome-shell-extension-cpu-freq — pull request #2 by LeCoyote (2012-10-22 09:05:56+00:00)
Title: Changed to use cpupower

There you go, tested here with gnome-shell 3.4 and works like a charm.

Perhaps you might consider adding a quick info in the readme that this extension reads the current governor from CPU0 and sets it for ALL cpus.

Cheers!