mmm... non saprei a dire il vero, ma non ho nemmeno avviato la rom dopo il flash, mi serviva solo per evitare casini di hard brick... cioè, magari avviando il telefono con la 4.0.4 stock più questo kernel avrei avuto problemi, ma non ne ho idea, avendola usata solo come "supporto preventivo"...