XMC-1's HDMI circuitry?