Comment 13 for bug 987531

Yes, sorry, I forgot:
# dmidecode -s bios-version && dmidecode -s bios-release-date
Version 1.80
04/18/2013

The issue has changed but not by the BIOS upgrade, but by the procedure I mention in the blog post. Basically changing:
PowerManagement
   -> BIOS Power Management
      -> Battery Save Mode (using custom settings)
         -> Processor Speed
            <Low>
To <High>

With that change, the ondemand governor works fine, I don't remember if any of the current extra options I pass to the kernel currently are needed or if I added them to deal with other problems. The current set of extra options I'm using are:
acpi_osi=Linux acpi_backlight=vendor pcie_aspm=force i915.i915_enable_rc6=7 i915.i915_enable_fbc=1 i915.lvds_downclock=1

With this configuration, the only remaining issue I get is I can't control the brightness after a suspend-resume with the keyboard keys (I have to manually write to /sys/class/backlight/intel_backlight/brightness). I think if I changed the parameters above in some way, the brightness problem was gone but the cpufreq issues came back. But I might be remembering incorrectly, last time I experimented with this was a LONG time ago.