Que tal amigo, la verdad nunca realice el procedimiento ya que a los días recibí la actualización a android 10 por lo que no se con exactitud si funciona realmente, hay alguien que realizó el cambio con un proceso diferente pero no recuerdo en qué apartado de acá del foro esta, incluso hace 3 días recibí android 10.1, que cust es tu celular? Deberías de conectarlo por HiSuite haber si por ese medio se te actualiza, lo otro es que si tu celular es comprado en algún operador (Claro, Movistar, etc) ya dependes mucho es de las actualizaciones que tu operador libere. Saludos
Edito: Acá te dejo el procedimiento que realizó el compañero para hacer el cambio.
https://www.htcmania.com/showpost.ph...23&postcount=5