Glauber Costa wrote:> Nick,>> This is the whole set of patches I was talking about.> Patch 3 is the one that in fact fixes the problem...Yep, patch 3 works for me, thanks. Only the 32-bit kernelseems to need the patch, FWIW.