Em Fri, Jun 08, 2012 at 11:55:49PM +0200, Andi Kleen escreveu:> Hmm, the problem disappeared after a make clean. > Sorry for the noise.Thanks for the feedback!- Arnaldo