I confirm that @chutz workaround (modprobing i2c-i801) fixes the problem on my X1 Carbon 3rd gen as well.
I confirm that @chutz workaround (modprobing i2c-i801) fixes the problem on my X1 Carbon 3rd gen as well.