Adding the PCI IDs for the Thunderbolt 2 device in the Mac Pro seems to work, with the possible exception of hotplug - I'll look into that some more. I also have a new set of the ACPI patches, which I'll try to send out today.
-- Matthew Garrett <matthew.garr...@nebula.com>