Symbol: hdmi_edid_read