Hi,

> Thanks for the test and the feedback.
> Could you send me the sched_domain configuration of your machine with
> the kernel that boots on your machine ?
> It's available in /proc/sys/kernel/sched_domain/cpu*/

I attach to this mail the sched_domain info, the contents of
/proc/cpuinfo and my kernel config.

-- 
Damien