STI, HLT in acpi_cpu_idle_c1

[Gerrit Nagelhout]

John Baldwin wrote:
> Odd, all it does is eoi fast interrupts earlier.  Oh, there's 
> a bug. :(  In 
> the second hunk, change 'pic_disable_source' to 'pic_enable_source'.
> 

I have installed this patch, and have been running it for 
a couple of hours.  So far no problems, but I will have to
run it over the weekend to see if it is behaving better.
I will keep you posted.  
Thanks for all your help so far,

Gerrit