Checking out XAPP495 and trying to fit two switched HDMI decoders and
one encoder together using only one PLL