mixxeo: add DVI output pins