He,
Matthew Dillon wrote:
    Ok, upload the kernel binary and vmcore onto leaf and I'll take
    a look at it.  From the gdb output you've shown so far there's a good
    chance we can find it quickly.
I already uploaded the kernel and vmcore to leaf :)
Greets
	Matthias