https://bugs.freedesktop.org/show_bug.cgi?id=41265
--- Comment #40 from Alexander E. Patrakov patrakov@gmail.com 2012-08-16 17:05:27 UTC --- I have built the kernel from your source tree. It found the card, found the HDMI-connected monitor and displayed boot text messages over it for some time (until it decided to move to the inteldrmfb framebuffer). Will test X a bit later.