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.