O update recebido pelo Redmi 4 ainda está em sua versão de testes, e ainda não deve ter alcançado todos os usuários.
Em todo caso, é esperado que a versão estável seja disponibilizada dentro de uma semana, então se você é dono de um Redmi 4 e ainda não recebeu a novidade, só precisará esperar mais um pouco.