Huawei зарегистрировала торговую марку ARK OS.