This is a déjà vu moment. Late last year I purchased a Toshiba Ultrabook and while hacking it I had a black screen on the laptop with good output via the HDMI port through an HDMI to DVI adapter to a DVI monitor... (Lion and HD3000). I think that this is the same issue, just a different set of variables. It did take me some time but I was able to get the Ultrabook's screen to display full acceleration with the full native resolution.
And I had found this thread on IM a few days ago and I tried all of the strings with both GE=Yes and No. With the device proprieties strings, I do get out of sync video on the Loop's display and good video out the DP port (HD4000 is loaded).
I have stripped the newer HD4000 kexts from the latest update and they did not resolve the problem.
more when I have anything,
neil