Symbol: hdmi4_read_edid