Hi,Just want to add the X1 Carbon Gen 6th to the list. Same problem when plug in a thunderbolt device.
Apart from that, the other thing is that S3 (suspend to ram) mode is not supported by the BIOS (it has a special S0i3 mode instead which is exclusive with the S3 mode).
