[joeload]

Por lo que leí si que habría soporte para esa ROM pero mediante el Patreon de Xiaomi EU, no se si es así o lo leí mal, pero vaya que pagando puedes acceder a algún foro privado de ellos donde igual acaban subiendo alguna ROM.