I've been going nuts here trying to get this working. There seems to be a few different methods to doing it as well. Is there any difference between the HD4000 and the 2500. When OSX first boots, you can see it says intel HD2500, not the 4000. Anyway, this is where I am. I can boot safe mode, but thats it. Here's it what a normal boot goes like with flags -v -f, goes through the procedure and as the graphics are about to start, grey screen with apple logo and the distortion. Here is a youtube link if anyone is interested.
Also attached boot.plist