[issue513] crash on HEAD while building world inside VKERNEL

[Matthew Dillon]

:New submission from Nuno Antunes <nuno.antunes at gmail.com>:
:
:Hi,
:
:I got this crash while make buildworld was running inside a vkernel and xor=
:g was
:compiling in the real host.
:
:I'm attaching screenshots of the crash and trace.
:
:Regards,
:Nuno

    That is one I haven't seen before.  I will attempt to reproduce it.

    A kernel crash dump would be nice, it shouldn't be possible for it
    to get a null-pointer derefence there.  Hmmm.

						-Matt