調べてみるとMacMiniLate2012には
HDMIに関わる不具合
というのがある・あったのだね

HDMI-DVIよりも
Minidisplayport-DVIにしといたほうが安全なのかな?

悩ましい