hola
Claro, flasheé por fastboot un boot.img con la opción de descifrar. Luego por fastboot también hice un format userdata y hecho.
Eso sí, esperar a hoy por si queréis impresiones al respecto. De momento, sin poder usarlo mucho (ir a dormir, ahora en el trabajo, etc...) no he notado nada "especial" en el rendimiento. Pero bueno, más tarde me pondré a fondo con ello.
