Here are my stats for the ideal kernel by the way

Current frequency: 500 MHz

Minimum frequency: 500 MHz

Maximum frequency: 810 MHz

FREQUENCY USED
1200 MHz 0
1100 MHz 0
1000 MHz 0
950 MHz 0
900 MHz 0
850 MHz 0
810 MHz 0.000 %
750 MHz 0.000 %
700 MHz 0.000 %
600 MHz 0.000 %
550 MHz 0.000 %
500 MHz 0.010 %

The rest of the time i.e. 99.99%, the CPU is idle (though I have clubbed all the idle states together)

EDIT: Have updated the numbers