Operating system Huawei ARK OS registered as trademark