I also tried a vanilla kernel 2.6.19 that I downloaded from www.kernel.org and it is the same, the bug is present ! -- kernel can't scale cpu frequency https://launchpad.net/bugs/36014