Koles wrote me that the system was stable today, 
and that with the patch applied every caller
of fput() owned the kernel_flag.

The patch I sent you yesterday was incomplete,
I forgot to include <asm/smplock.h>.
I've attached the corrected patch.

Regards,
	Manfred[unhandled content-type:application/octet-stream]