No se pierde. Va por identificador de móvil que nada tiene que ver con la ROM. Esto dicho por el servicio técnico dos veces y por usuarios de xda que ya han cambiado de ROM, al menos ROMs Oreo. Otra cosa es como comentas hacer downgrade, que no sé nada pero si va por id debería dar igual también
