Fixed small typo in hdmi_core from previous commit. Simulation seems to show correct muxing of colors.