What Cath proposed is that HDMI uses differential pairs and no additional translator is used in this board which is simply said as PL IO_P IO_N. So you can use HDMI connector to connect in such way.
But the problem is that the HDMI to GPIO adapter would require additional hardware design which means no matter how it is still tedious.
So a simpler solution from my point of view is that double edge flops are available and way bother on single edge 160MHz design.
HDMI uses TMDS which also undergo double edge 742.5MHz trigger flops designs so you can do internal flop retiming without trace matching on 80MHz more easier than 160MHz. =]
ENJOY~