Google cuts Android-relationship with Huawei. How about the others - Xiaomi?