Many wonder when and if their Xiaomi / Redmi device will be updated to the new MIUI 12, thus being able to take advantage of the many ...