El nuevo filtro pop del mi 9 no estará disponible para el redmi note 5?