Xiaomi prepara Redmi Note 17 5G para o Brasil, com bateria grande