Nálam dvi-hdmi kábel a gépben, és egy ~2000Ft-os kínából rendelt (itthon ugyanaz(!) 5-6E alatt nem kapható) hdmi átkapcsoló oldotta meg a problémát.