I want to output an EDID structure from the Mini DisplayPort, to which I'll hook up a Mini DisplayPort to HDMI cable. Does anyone have any suggestions of where to start with this?