Purtroppo il problema si verifica anche con altre app, io uso ROM manager presa su xda, posso provare con quelle che citi tu, ma già all'uscita del primo OC feci varie prove...ma nisba...lo stesso kernel su altre ROM non dava problemi di settaggio....provo poi vi dico....
Ma credo che sia un problema di ROM....
Forse con un comando da emulatore...ma ad ogni riavvio bisogna impostarlo...
Provo...
Anche antutu CPU non le setta...sorry...