On Wed, 2008-09-10 at 16:40 -0700, David Miller wrote:

> Here is a quick patch that might resolve this specific situation.
> Let me know how it works for you:

I haven't seen it again so far, but it's not necessarily an indication
that it worked. But normally I think I probably would have seen it
already by now.

johannes