https://forums.lenovo.com/t5/Linux-Discussion/X1-Carbon-Gen-...
There are work-arounds by building IASL with a patch to restore S3 state.