On Thu, Nov 21, 2013 at 02:01:42PM -0500, Scott Lambdin wrote: > Did you ask Debby forums? This could be very educational. Thanks, I posted to debian-user, and got a response about cpufreq being buggy. I've switched to the latest stable kernel and no longer see the problem [1]. [1] http://lists.debian.org/debian-user/2013/11/msg01208.html