Raw, i did the experiment you suggested and boot my stable 10.7.4 with your universal kernel (flags: raw64bit arch=x86_64 npci=0x3000).

The results were surprising. I think we're on the verge to learn something. I'll post the screenshots for you to examine (i did it with my iPad, but i'm not used to take photos with it, maybe the images come blurry or flipped upside down again).