first part from https://delta-xi.net/#056
Reboot, enter your BIOS/UEFI. Go to Config - Thunderbolt (TM) 3 - set Thunerbolt BIOS Assist Mode to Enabled. It has also been reported that Security - Secure Boot must be disabled.
Install iasl (Intel's compiler/decompiler for ACPI machine language) and cpio from your distribution.
Get a dump of your ACPI DSDT table.
$ cat /sys/firmware/acpi/tables/DSDT > dsdt.aml