ぶっちゃけHDMIなんてクローズな規格やめてDisplayPort over USBにするべきだと思うんですよ。
まあライセンスフィー払ってもあっちの方が都合いいのは十分分かるけどね。