>> This is actually a kernel bug.  One page is not being synced correctly
>> in the I$ on some systems.
>
> But the new kernel worked fine with the old ld.elf_so.

`You were lucky before.'

> What should I do now? Wait for a new kernel or a new ld.elf_so?
> Btw, my source tree is from the weekend, maybe it's already fixed? 

Well, it's definitely a kernel bug, so I'm not going to do anything to
ld.elf_so to fix it.  As for the kernel, to my knowledge it hasn't
been fixed.  It only seems to affect MP machines, so I have no way to
test it myself.