Redmi note 8 pro dns settings July 8, 2019 16 32 64 128 Redmi note 7 dns settings Redmi note 8 pro network problem