Mens vi snakker non-stop om det neste Redmi-flaggskipet, ser det ut til at morselskapet, nemlig Xiaomi, fungerer ...