Fatto, funziona tutto. Partendo da ICS stock con kernel stock ho fatto nel seguente modo:
ho flashato il kernel Philz su ICS tanto per stare su kernel safe, ho flashato JB leaked, ho riflashato il kernel Philz per JB. A questo punto mi sono trovato con i requisiti per eseguire la guida.
Grazie ad Andromeda1968 per l'aiuto e la pazienza.