Does anyone here use a Lenovo ThinkPad X1 Carbon (generation 11) with Linux?