MIUI 12

Вполне возможно, что список неточен, и к выходу MIUI 12 обновление достанется не всем из указанных устройств.