@Arrakis, thank you, I tried using your SSDT, but as APCI paths for thunderbolt are different on my system it would not work. In the end I was able to solve this though!
When using your SSDT, the System Report in the Thunderbolt section would just read "No Thunderbolt Hardware found", instead...