Eric Piel wrote:
>>
>> The laptop is a Vaio VGN-FZ240E, core 2 duo T7250 @ 2.0 GHz and the 
>> kernel is x86_64.
> 
> Hi, it's great you found out the culprit commit because I was really 
> wondering where this bug was coming from...
> As a data point, my machine has a core 2 duo @ 1.2GHz and x86_64 arch. 
> Do you also have the tickless option activated? (it could play a role)
> 

I believe this patch should fix the problem.  Can you please verify?

Thanks,

	-hpa