Het is slechts een kwestie van tijd voordat alle (of bijna alle) Xiaomi- en Redmi-apparaten kunnen genieten van alle functies die de MIUI 12 zal bieden ...