https://bugs.freedesktop.org/show_bug.cgi?id=41366
--- Comment #2 from Simon Farnsworth simon.farnsworth@onelan.co.uk 2011-09-30 10:13:24 PDT --- Created an attachment (id=51805) --> (https://bugs.freedesktop.org/attachment.cgi?id=51805) dmesg showing the modeset that results in HDMI working