Al final me anime y puse el kernel. Probe con hotplug governor. Como comenta Franco, la idea es ver si hay ahorro de consumo desactivando un procesador en stand by. El consumo es un pelin mas alto que con el stcok kernel, 1.75% por hora, en lugar de 1.2.
Otra cosa: osmonitor decia que uno de los procesadores estaba desactivado esta maņana. Es decir, parace que el segundo procesador no se reactiva con la actividad.
Voy a probar con on demand.
Sobre colores, no note nada, aunque soy torpe para detectar esas cosas.
Sent from my Galaxy Nexus using Tapatalk