Symbol: hdmi_colorspace