Thanks for pointing that out. However I do not find v47 in the official repos. One problem right now is that I don't want to have to distinguish between stock kernel, power kernel < 47 and power kernel >= 47, so I guess the best thing is to wait. I'll take a look at the temperature issue as soon as a new power kernel version becomes widely available. - direx