Adaptador mini DisplayPort a HDMI 4K: qué decide el EDID