Default from 4.1.2 to 4.2.1

hi guys,
I have the last version of CyanogenMod 10 (by tezet). Now I want upgrade to 10.1 by Engle_Mars.

i suppose that i should restart my phone, go to into boot menů and then i should follow the steps in page one of this thread (12..19), right?

Have you some suggest about kernel?