ginggs

I've just upgraded and cpufreq-info now reports:
 
cpufrequtils 008: cpufreq-info (C) Dominik Brodowski 2004-2009
Report errors and bugs to cpufreq@vger.kernel.org, please.
analyzing CPU 0:
  driver: cpufreq-dt
  CPUs which run at the same hardware frequency: 0 1 2 3
  CPUs which need to have their frequency coordinated by software: 0 1 2 3
  maximum transition latency: 132 us.
  hardware limits: 126 MHz - 1.80 GHz
...
 
Thanks @TonyMac32 !