> I got two crash on antioche. The first one didn't give me a core dump.
> The second one did, here's what I can say about it:

Hmm.  Could this rather circular kernel stack trace possibly have
something to do with the (spl-*lowering*, if I'm not mistaken) call to
splsoftclock() in rnd_extract_data() ?

					- Bill