On 06/12/2012 12:28 PM, Metzger, Markus T wrote:

> 
> Pedro, can you give some more information about the system you are using that
> might help me reproduce the fails? What hardware are you using, for example?


x86_64 Fedora 16, kernel 3.3.7-1.fc16.x86_64, running on an
i7-2620M @ 2.70GHz (an IBM ThinkPad T520)

A gz of my /proc/cpuinfo is attached, in case more detail helps.

-- 
Pedro Alves