Re: F14 cpuspeed / ondemand broken?