MIPI-DSI to HDMI conversion

Hi DMoffatt,

Per TRM TX1 supports display output of DSI + HDMI, so dual HDMI output should be doable by adding DSI (+ audio I2S) to HDMI converter.