El Cid no es, porque si fuese el caso no te daría la actualización. Y si es libre y sin rootear, es imposible que nadie se lo haya cambiado, a no ser que sea comprado de segunda mano. Yo lo que te aconsejo que si no te deja actualizar... hagas el downgrade y le pongas una ROM cocinada.
