Se n me engano o Redmi note 6 pro foi mencionado em um site q vi.
Mas normalmente demora bastante para chegar a atualização para o Brasil (cerca de um mes )