And of course, having tried Ingo Molnar's linux-tip (whereas before I was using 2.6.27) I have now found a modern kernel that doesn't exhibit the problem... -- [ message continues ]
I have just tried with latest git and it seems to work fine ! -- [ message continues ]
just for information, rc7 + 5257d97a219e17abf8188f136e1189da3b3af33c is OK too -- [ message continues ]