Comment 13 for bug 882153

Here is the bootlog for the most recent snapshot (today):

http://paste.ubuntu.com/993016/

Here is the bootlog for the "same" kernel with "HDMI and Av8100 debug messages" enabled:

http://paste.ubuntu.com/993017/

I didn't see much difference, but maybe I'm missing something.

Here's the kernel info I used:

https://github.com/jcrigby/packaged-linux-linaro-3.3-ci/commit/56e4eb39c08ee2f221140f6742110ad5f44eb200

set to commit: 5f27d8d2890dc406839b4aba4c2f262dcb118a52