Symbol: hdmi_read_edid