Haces bien en cambiarla. MIUI es un cancer, un spyware en toda regla disfrazado de sistema operativo.
Si finalmente lo logras, porfa documenta como lo has hecho o pasa enlace a los posts en los que te has basado, en el curro tenemos otro Redmi 4 de estos y le vendrķa bien cambiarle la ROM
salu2