GPU frequency should default to 800 MHz

echo performance > /sys/class/devfreq/devfreq0/governor will set the GPU governor correctly.

Usually the kernel should do this itself, but that doesn't work quite right at the moment.