Lenovo still not introducing proper hi-res displays in their new x280s is rather sad. Anyone has experiences with Linux on the Huawei Matebook X?