[snip]

> That said, I don't know what caused the regression you describe. 
> Perhaps you can clarfiy the minimal changes necessary to switch between
> correct and incorrect behaviour?

Simply use tsc as timesource instead of PM Timer (ie not compiling in 
the latter) and all is cool again (now idle temp is as low as 40°C!). 
ACPI as such is included. I attached my current config. I guess one 
could also use a kernel boot parameter to switch between those timers.

I don't know whether it is actual a problem with C1 or whatever. I just 
described my assumption I made. If I disable CPU disconnect, my CPU runs 
hot again even with tsc timer. With ACPI PM timer disconnect makes no 
difference (hot everytime...).

Cheers,

Prakash