Since my initial report I updated the BIOS of this laptop:

$  sudo dmidecode -s bios-version && sudo dmidecode -s bios-release-date
A19
11/14/2013

and today (after 8 days of uptime and perhaps 20 suspend/resume cycles) the bug reappeared:

# /usr/lib/checkbox/bin/frequency_governors_test
2014-01-23 12:09:52 INFO     System Capabilites:
2014-01-23 12:09:52 INFO     -------------------------------------------------
2014-01-23 12:09:52 INFO     System has 4 cpus
2014-01-23 12:09:52 INFO     Supported CPU Frequencies: 
2014-01-23 12:09:52 INFO         2801 MHz
2014-01-23 12:09:52 INFO         2800 MHz
2014-01-23 12:09:52 INFO         2600 MHz
2014-01-23 12:09:52 INFO         2400 MHz
2014-01-23 12:09:52 INFO         2200 MHz
2014-01-23 12:09:52 INFO         2000 MHz
2014-01-23 12:09:52 INFO         1800 MHz
2014-01-23 12:09:52 INFO         1600 MHz
2014-01-23 12:09:52 INFO         1400 MHz
2014-01-23 12:09:52 INFO         1200 MHz
2014-01-23 12:09:52 INFO         1000 MHz
2014-01-23 12:09:52 INFO         800 MHz
2014-01-23 12:09:52 INFO     Supported Governors: 
2014-01-23 12:09:52 INFO         conservative
2014-01-23 12:09:52 INFO         ondemand
2014-01-23 12:09:52 INFO         userspace
2014-01-23 12:09:52 INFO         powersave
2014-01-23 12:09:52 INFO         performance
2014-01-23 12:09:52 INFO     Current governors:
2014-01-23 12:09:52 INFO         cpu0: ondemand
2014-01-23 12:09:52 INFO         cpu1: ondemand
2014-01-23 12:09:52 INFO         cpu2: ondemand
2014-01-23 12:09:52 INFO         cpu3: ondemand
2014-01-23 12:09:52 INFO     Beginning Frequency Governors Testing
2014-01-23 12:09:52 INFO     Userspace Governor Test:
2014-01-23 12:09:52 INFO     -------------------------------------------------
2014-01-23 12:09:52 INFO     Setting governor to userspace
2014-01-23 12:10:22 INFO     Setting CPU frequency to 800 MHz
2014-01-23 12:10:22 INFO     Running CPU load test...
2014-01-23 12:10:22 INFO     pid 4285's current affinity list: 0-3
2014-01-23 12:10:22 INFO     pid 4285's new affinity list: 0
2014-01-23 12:10:23 INFO     Minimum frequency load test time: 0.25
2014-01-23 12:10:23 INFO     Setting CPU frequency to 2801 MHz
2014-01-23 12:10:23 INFO     Running CPU load test...
2014-01-23 12:10:23 INFO     pid 4285's current affinity list: 0
2014-01-23 12:10:23 INFO     pid 4285's new affinity list: 0
2014-01-23 12:10:23 INFO     Maximum frequency load test time: 0.05
2014-01-23 12:10:23 INFO     Found ida flag, increasing expected speedup by 8.0%
2014-01-23 12:10:23 INFO     CPU Frequency Speed Up: 3.81
2014-01-23 12:10:23 INFO     Measured Speed Up: 5.00
2014-01-23 12:10:23 INFO     Percentage Difference 31.4%
2014-01-23 12:10:23 ERROR    Measured speedup vs expected speedup is 31.4% and is not within 10.0% margin.
2014-01-23 12:10:23 INFO     On Demand Governor Test:
2014-01-23 12:10:23 INFO     -------------------------------------------------
2014-01-23 12:10:23 INFO     Setting governor to ondemand
2014-01-23 12:10:23 INFO     Waiting 5 seconds...
2014-01-23 12:10:28 INFO     Done.
2014-01-23 12:10:28 INFO     Running CPU load test...
2014-01-23 12:10:28 INFO     pid 4285's current affinity list: 0
2014-01-23 12:10:28 INFO     pid 4285's new affinity list: 0
2014-01-23 12:10:28 INFO     On Demand load test time: 0.24
2014-01-23 12:10:28 INFO     Percentage Difference vs. maximum frequency: 380.0%
2014-01-23 12:10:28 ERROR    On demand performance vs maximum of 380.0% is not within 10.0% margin
2014-01-23 12:10:28 INFO     Waiting 5 seconds...
2014-01-23 12:10:33 INFO     Done.
2014-01-23 12:10:33 INFO     Performance Governor Test:
2014-01-23 12:10:33 INFO     -------------------------------------------------
2014-01-23 12:10:33 INFO     Setting governor to performance
2014-01-23 12:10:33 INFO     Running CPU load test...
2014-01-23 12:10:33 INFO     pid 4285's current affinity list: 0
2014-01-23 12:10:33 INFO     pid 4285's new affinity list: 0
2014-01-23 12:10:33 INFO     Performance load test time: 0.05
2014-01-23 12:10:33 INFO     Percentage Difference vs. maximum frequency: 0.0%
2014-01-23 12:10:33 INFO     Conservative Governor Test:
2014-01-23 12:10:33 INFO     -------------------------------------------------
2014-01-23 12:10:33 INFO     Setting governor to conservative
2014-01-23 12:10:33 INFO     Waiting 10 seconds...
2014-01-23 12:10:43 INFO     Done.
2014-01-23 12:10:43 INFO     Running CPU load test...
2014-01-23 12:10:43 INFO     pid 4285's current affinity list: 0
2014-01-23 12:10:43 INFO     pid 4285's new affinity list: 0
2014-01-23 12:10:44 INFO     Conservative load test time: 0.24
2014-01-23 12:10:44 INFO     Percentage Difference vs. minimum frequency: 4.0%
2014-01-23 12:10:44 INFO     Restoring original governor to ondemand