Usé XiaoMiTool para instalar la ROM "PixelExperience_Plus_cepheus-10.0-20200816-1721-OFFICIAL.zip" previamente descargada en el PC. El botón de descarga ponía "Download full update". Mi intención era que fuese una instalación completa de cero, no una actualización. Me dejó impresionado ver como la XiaoMiTool subía la ROM y manipulaba el TWRP. Fue tan rápido que no vi hacer los wipes. Tal vez me equivocase de fichero.
También destaco que cada ciclo del bootloop duraba menos de 5 segundos. El arranque era incapaz de superar la pantalla del "Powered by Android" y donde aparece el icono del candado abierto. Ahora que lo pienso, ¿es imprescindible instalar alguna clase de firmware antes de flashear ese fichero? En este caso, partía de una MIUI Global 12.