FYI,.......both HP and Dell use the same Intel Reference TBolt 2 card, however i suspect each company may use a different pinout on the motherboard dell may have published the motherboard TBolt 2 pinout so check them for a cable and board pinout
the pin connections on the TBolt 2 card remains the same between Dell/HP, only the motherboard pinout may be different
as long as you get the power and ground lines correct, using a multimeter, you can then by trial and error determine the other 3 lines
dell# GGTXK is the Display port wrap thru cable
NK4P3 is the GPIO cable to the motherboard.
07HMHP is the Dell TBolt 2 card part number