yes you are right.
past few hours, I have been testing,and also found something interesting.
in my case , your 'audio_cloverHDMI-130_v0.6.command' or 'HDMIAudio.kext' makes 1 (enable NVIDIA hdmi,right?).
if there's 2 in hardware/audio,then I can activate dp audio by plugging a right port...