Вроде как пока что redmi note 5a/5a prime находятся в списке устройств, которые не получат обновление miui 12, так как обновлены будут все устройства, выпущенные с начала 2018 года, наш аппарат был выпущен в конце 2017