Benjamin Herrenschmidt writes: > Your input would be much more valuable if you actually pointed out where > that happens and why since you seem to know it. He did already, a couple of messages ago. Paul.