Doppio nome per il sistema operativo Huawei, perché quello europeo diverso da quello cinese