a mi el setcpu tampoco me funcionó, al final desistí de ella y controlo cpu mediante juice defender.
el kernel de ardatdat lo encontrarás en el foro xda. si no lo ves claro tampoco es un tema ultranecesario
saludos
Enviado desde mi GT-I9103 usando Tapatalk