Когда обновление андроид 17?

1. Проверить обновления вручную в настройках сейчас.
2. Pixel — раньше всех, редми — с задержкой через оболочку.
3. Точную дату производитель заранее не публикует.

у меня пиксель обновляется реально быстрее всех знакомых телефонов, это факт замечен на практике

Pixel почти всегда первый в очереди на новую версию Android, потому что это собственное устройство Google без прослойки в виде фирменной оболочки, и обычно счёт идёт на недели или месяцы раньше остальных производителей, тогда как Redmi Note 12 работает на HyperOS или MIUI поверх Android, и там обновление зависит от того, когда Xiaomi адаптирует собственную оболочку под новую версию, обычно это происходит с задержкой в несколько месяцев, а иногда и дольше, если модель не входит в число приоритетных для конкретного региона — точные даты производители заранее не называют именно поэтому, что процесс адаптации может затянуться.