Yo uso popcorn, y en relación gasto-rendimiento es el que mejor me va, pero eso de los kernel es un mundo, deberías de probarlo para ver cómo te va, por qué no a todos les va bien el mismo, al menos eso pienso, por ejemplo a mi los de Franco me van muy regular, eso sí ten en cuenta que necesita un programa de terceros como setcpu o alguno de esos, por qué no tiene propio,y que tendrás que mirar por ahí sus governor, con nombres tan chulos como gakkimaufrix.
Me autocorrijo,se puede modificar sin programas de terceros, pero es más complicado.
Enviado desde mi Galaxy Nexus usando Tapatalk 2
