Si no me equivoco, el MiMix3 5G lleva una versión de ROM de Vodafone en España, pero tampoco hay mucho más para ese terminal, parecen la misma.
Por otra parte, la que tú pones es la EU, y para poner esa hay que abrir bootloader y demás, creo recordar
Un saludo