Siento la tardanza pero tengo algo.
Encontré una versión de miui 12 portada para este movil, a traves de canales y foros rusos.
Es esta:
MIUI12_RevOS_20.5.21_markw_AN9_markw Port
��Device : Redmi 4 Prime
��Codename : Markw
️⃣Build Version : 1
��Base : RevOS_20.5.21
��Android Version : 9.0 Pie
��*��Maintainer : @
uraRTU1
⚠️Status : Ported ROM
✏️Port from: - Other device
�� - 0 (?)
�� Changelog: .
�� - Thanks to all -
��Download : 20%........100%...
https://sourceforge.net/projects/miu...9.zip/download
Lo que no se detalla es con que versión de TWRP concretamente se instala, no tengo claro si son roms treble, o no-treble... etc.... pero al ser android 9 probablemente sean treble. Yo probaria primero con un twrp compatible con treble ya que este tipo de recovery flashea los dos tipos, y si no deja instalar ya subiria de version. No pongais un twrp de android 10 para estas roms ya que está comprobado que suelen dar fallo al instalar android 9.
Que decir que para todo esto, bootloader desbloqueado lo primerito, y para flashear... unos buenos wipes, data, system, cache, dalvik lo minimo, el vendor no estoy seguro si lo necesita. Esque no tener instrucciones de instalacion es lo que tiene, pero no las encuentro por ningun lado.
Aqui teneis el canal de telegram, en el que están colgadas incluso versiones anteriores, miui11, 10.....
https://t.me/miui10pieForMarkw
El autor asegura que son versiones miui sin apenas fallos o ninguno, ya supongo que sera probar.
Espero que os sirva.