boards/plaforms/nexys_video: fix hdmi_out pinout