So im building a computer for a friend, he does music production.

Ive already built him a hackintosh with opencore. But he now needs thunderbolt.

Im planning to use an asrock z370 pro4 with the the AIC thunderbolt 3 add in card.

Has anyone here done a hackintosh with an add in pci card? How do I get it working? Ive tried searching the web without luck.
Suggestions and pointers would be appriciated.