bèh...
forse mi sono spiegato male... oppure non ho letto quanto dici, e tuttora non riesco a trovarlo.
In realtà durante il flash della nuoava release, la 4-4-6, la recovery mi chiede se voglio il kernel sebastian OC.... ma se do l'ok non lo flasha...rimane il kernel stock.
Dovrei provare dopo un full wipe, ma sicuramente flashando sopra la 4.4.5 il kernel OC non viene installato...