Mini DisplayPort to HDMI cables banned by HDMI Org