Hola.
Es correcto solo tienes que flashear el firmware (.ftf) correspondiente con flashtool y tendras todo original sin necesidad de cambiar el kernel antes, suerte