Buenas! has probado a seguis este tutorial??
https://www.htcmania.com/showthread.php?t=1397841
Entiendo que teniendo una ROM distinta, tu hijo ya se encargó de todo el proceso de desbloqueo del bootlader y demás. Simplemente seguir los pasos de "Instalar ROM Original", que además creo que el propio Xiaomi te da las herramientas.