Pues ya no lo sé....

Solo puedo decirte que cuando adquirí el movil de segunda mano tenia la rom CyanoGenMod Jelly Bean...una que había antes de que saliera JB oficial, pero se me reiniciaba constantemente y me pusieron por petición mia una 4.0.4 que luego se actualizó por OTA via Wifi sin problemas a los pocos meses. Seguia siendo 4.0.4 pero mas actual.
Estuve presente en el Flasheo que obviamente yo no hice porque no sabia, y no recuerdo que me le pasaran ninguna app para reliberarlo. Y cuando se actualizó ya si fuí que le dí yo a actualizar, y no me presentó problema alguno.

Resumiendo.
En ningún caso tuve problemas, la liberación continuó...