Klaptop Performance Profile (cpuspeed) broken?