Comment 3 for bug 1169257

I tested with the linux-linaro kernel (ll-20130412.0), but couldn't reproduce the problem.

I changed the governor to 'performance' and checked the value of '/sys/devices/system/cpu/cpu0/cpufreq/scaling_cur_freq' every second for 10 minutes. The value was 1700MHz every time.