Using the XMC-1 with 4K sources (pre-HDMI 2.0 board's rel.)