Xiaomi HyperOS 4.0: esses são os celulares elegíveis para a atualização