No, si parlava da rom cucinata (miui) a rom stock (2.3.6). Sicuramente, visto che l'intoppo in questi passaggi è dato dal file system, che nel caso di una stock non è più ext 4, poteva essere un'ottima idea, come da te proposto, quella di flashare subito anche il kernel.... può funzionare. Il punto è che anche quando fai tutto seguendo le guide ed i consigli dei cuochi, qualcosa pùò andare storto comunque., e che i rischi possono aumentare facendo diversamente.
Ma il bello è che ognuno di noi è sempre libero di scegliere.Grazie delle spiegazioni.