Bug#413185: When the files are downloaded with apt-get install, the system reboots occasionally.

[Samuel Thibault <samuel.thibault@ens-lyon.org>]

Hi,

I don't have the time to test myself, maybe it's just completely bogus:
could you try, in device/net_io.c, in the net_deliver() function, to
move the call to net_filter() _above_

	simple_unlock(&net_queue_lock);
	(void) spl0();


And in linux/dev/glue/net.c, in device_write(), move splx(s) _after_
the big /* Send packet to filters. {}  */ block (i.e. just before return
MIG_NO_REPLY) ?

Samuel