Mira tienes q tener claro q hay 2 tipos de roms las oficiales(y las q son iguales pero traducidas al español). Y las alternativas q cambian muchas cosas y q solo son recomendadas para usuarios avanzados. Asi q descarta la cyanogenmod y la de padock.
Tienes q coger una oficial traducida. Suelen existir 2 sitios donde conseguirlas y q creo q son el resto de enlaces q has puesto miui.es q solo esta traducida al español y xiaomi.eu q lo esta a todos los idiomas.
Dentro de las oficiales hay 2 tipos la semanal y la estable. La semanal se actualiza todas las semanas automáticamente y la estable una vez al mes, en teoría se supone q la estable tiene menos fallos pero a mi en la practica siempre me ha funcionado mejor la semanal xq cada semana actualizaban los fallos grandes mientras q en la estable si se les colaba alguno había q esperar un mes