On Thu, 2007-10-25 at 10:19 +1000, Paul Mackerras wrote: > 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. Allright, I missed that. Ben.