Ground and signal+ pins on Mini-HDMI swapped.
Mini-HDMI connector has positive signals of the differential pairs are swapped with their corresponding shield
( see comments in "Type C" of http://en.wikipedia.org/wikis/HDMI )
---> Need to respin board. Groan.
For work-around cut up HDMI and mini-HDMI cables and swap relevant wires.