ed il kernel dove lo trovo?
la procedura per il flash è sempre la solita, i tre wipe e poi install zip from sd card??
un ultima domanda:
mettiamo caso mi viene in mente il pallino di tornare alla versione ics (o ginger) ufficiale, avendo il kernel non stock, mi basta fare la procedura da recovery install zip from sd card, dove lo zip in questione è il firmware originale??