[vdr] ehd vs "normal" dvi output