Это значит, что Андроид 7 для Redmi 4 Pro уже больше никогда не будет?