Are these compatible with Linux? My 4yo Carbon x1 (gen 9) is very sluggish and its battery is drained after 1h.