Possible PPC kernel bug on builders