Encontraste el Zip limpiador de Kernels?? Es que yo también lo quiero y busqué por Google y nada.
Encontré este hilo:
http://www.htcmania.com/showthread.php?t=362374
Pero no se si vale para los Nexus 4, ya que es de Galaxy S2.
A parte, no se que pasos hay q seguir a la hora de pasar el limpiador y flashear un nuevo kernel usasndo este método.
Saludos.
