XMC-2 HDMI Switching problems - does Dr HDMI fix it?