> And checking whether disabling debugging for the 'task_struct' cache makes 
> the problem go away.

No, unfortunately it doesnt.

Gruß,
	Jens