Re: Possible PPC kernel bug on builders