I've not been able to debug this, as I cannot reproduce it.
Zach: Could you confirm that your revC board does get HDMI output with either the Linaro Ubuntu images or the TI android images?
I've not been able to debug this, as I cannot reproduce it.
Zach: Could you confirm that your revC board does get HDMI output with either the Linaro Ubuntu images or the TI android images?