Bueno, me contesto a mi mismo: no hace falta poner nada del Kies, porque no es compatible con el Nexus (aunque el Nexus sea de Samsung, al ser su desarrollador en realidad google... pues eso, que el Kies es de Samsung y no le sirve).
El reseteo fue bien, pero el puto IMEI sigue cambiado!!! Sigue saliendome el IMEI genérico... grrrr!!!!! A tí sí te puso el original?? Por qué a mí no?!

:'(!!! Qué depresion...

:'(!!!