CPU minimum clock rate

[Rdmkr]

Ok, ran it on hotplug 1.5Ghz minimum again and got slightly below 14000, which qualifies as normal. So at this point I'm thinking it is in fact the non-hotplug governors that are the problem.

For the record, though, my Freelander PD800 Rockchip RK3188 tablet has no trouble getting 16000+ results on Antutu with Ondemand or Performance turned on using the same app (No Frills CPU Control). So it's not 100% an app incompatibility problem independent of CPU type.