So, when using the SSDT to get proper ThunderBolt injection into the system, my Avid HDX Card is recognized in the system, but the driver isn't loaded / doesn't recognize the card.
When not using the SSDT the card is been seen by the driver
I attached 2 screenshots, one with SSDT injected, one...