Any Special tricks I'm missing for getting Thunderbolt to work?

I have a Thinkpad X1 Carbon 6th Gen that seems to work on every level except for Thunderbolt. I have ACPI files and kexts. Is there something else I need to do?