Redmi sa bude označovať inak, Xiaomi oznámilo zmenu sesterskej značky