Te equivocas...
Las ROMs de Xiaomi.eu están basadas en cada ROM estable o beta china (y si no existe versiones chinas en las ROMs globales)
En este caso que el redmi note 5 si tiene ROMs chinas tiene mucho sentido pasarse a la estable de Xiaomi.eu ya que las ROMs chinas siempre tienen las novedades antes que las ROMs globales