En principio la xiaomi normal y xiaomi.eu salen a la vez y aunque no están basadas en la misma rom la versión si lo es y es compatible con el mismo modelo.
Si se diferencia una de la otra, la normal debería ir al subforo general y la otra a desarrollo y se plantearían dudas de una versión en otra y viceversa, por lo que con poner con cual rom se tiene el problema o diferencia tampoco tendría que haber problema.
----------
Pues yo usé el mismo twrp.
