¡Solucionado!!!!
Para el que esté interesado, era tan fácil (cuando se sabe) como sustituir el fichero cust.img que está en la carpeta “image” de la ROM que queremos instalar, por otro fichero similar que hay que descargar.
Seguir el Tutorial de krl1995 “Unbrick&Flash Redmi Note 4 (Bootloader bloqueado y desbloqueado)”.
Yo he seguido los pasos que marca ahí, cambiando la Rom Global por una developer, y se ha instalado correctamente, sin errores.