platforms/mixxeo: new pin assignments for 4 HDMI input ports