Pero el kernel con overclock no hay porque cambiarselo, es decir, yo le hare OC cuando sea necesario, y si no lo dejo por defecto a 1000mhz. Por que si hacemos como dices tu, instalar un kernel stock cuando no hagamos OC, y al rato qeremos hacerselo, tendriamos que estar cambiando de kernel todo el dia.
No se si me he explicado bien :p
Saludos
Enviado desde mi GT-I9100 usando Tapatalk 2