Många undrar när och om deras Xiaomi / Redmi-enhet kommer att uppdateras till nya MIUI 12 och därmed kunna dra nytta av de många ...