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 ÿôèº{.nÇ+‰·Ÿ®‰­†+%ŠËÿ±éݶ¥Šwÿº{.nÇ+‰·¥Š{±þG«�éÿŠ{ayºʇڙë,j­¢f£¢·hš�ï�êÿ‘êçz_è®(­éšŽŠÝ¢j"�ú¶m§ÿÿ¾«þG«�éÿ¢¸?™¨è­Ú&£ø§~�á¶iO•æ¬z·švØ^¶m§ÿÿà ÿ¶ìÿ¢¸?–I¥