Symbol: hdmi_colorimetry_get_name