Mini DisplayPort til HDMI 4K: aktiv chip og EDID