2018.08.02 15:39:31 (1025013224255750145) from Daniel J. Bernstein:
Patching ACPI DSDT on your new Lenovo ThinkPad X1 Carbon 6th gen to get normal S3 suspend working under Linux? I'm looking for people to test a kernel patch so that the DSDT patch can be avoided in the future: https://marc.info/?l=qubes-users&m=153308905514481&q=p5 Works for me.