I got no time for further testing but what I gather is that we HAVE
to remove
the framebuffer mappings, otherwise OS X stalls at boot time. I
debugged that
and found it to access the same memory position in framebuffer over
and over again.
There must be a bug or logical error in that part of the mmu branch.

jens