Esistono extender hdmi realtime, fra i più economici cerca IDATA EXT-E71, se non vuoi ammattire coi software ed i vari cast con tutti i problemi che si portano dietro.
--edit--
C'è anche un articolo spam a tal proposito
(uno dei pochi che a qualcosa serve)
https://www.hwupgrade.it/news/multim...hly_76789.html
Li ho usati in varie occasioni assai prima che venissero spammati da HWU, sono molto economici ma il suo lo fanno.