Huawei is selling Linux laptops in China