Comment # 4 on bug 82376 from Jean-François Fortin Tam

Hi, after some more testing (on my current kernel, 3.15) it seems that booting
with HDMI plugged in does not work either, so there's no difference between
that and hotplugging.

The dmesg and xorg logs were already in the downstream report:
  xorg log: https://bugzilla.redhat.com/attachment.cgi?id=812727
  dmesg: https://bugzilla.redhat.com/attachment.cgi?id=812728
  lspci -vvvv: https://bugzilla.redhat.com/attachment.cgi?id=812729