Para empezar debes saber que cid tiene, pregunta al que le compraste, luego buscar y descarga su rom y se flashea con el archivo en la SD y lo arrancas en modo download, sino averiguas su cid, tendrás buscar la rom internacional, pero para flashearla debes desbloquear el bootloader, busca en el foro ahí muchos tutoriales y la info en htcdev.com
Enviado desde mi HTC One A9