Per chi volesse andare di manuale, basta un filemanager con permessi di root.
Recarsi al seguente indirizzo: /sys/devices/platform/acpuclk-8064
e controllare le 4 voci "microamps_requested_acpuclk_8064_vari numeri core Krait," e controllare che il valore sia a zero.
A me tutti e 4 i valori danno come risultato 0.
Qualcuno che confermi o smentisca.