Yo hace tiempo que lo hice pero creo recordar que al seleccionar la Rom stock en el menu del toolkit, debes indicarle que se descargue la 4.0.3, con eso creo que era suficiente..
Por que te va mal la 4.1.2? a mi juicio es la mejor rom stock de todas, y ya si juntas la version de cyanogenmod 4.1.2 con el kernel Milestone 6 de franco...es lo mas cerca que he llegado a estar al 10 en mi escala de satisfecho.