Symbol: hdmi5_read_edid