Answers:
看到这个debian bug。 http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=580901
在i7上遇到与这个bug相同的痛苦,所以也许我应该切换到比debian-stable更新的东西。这是运行发行版几个月后的第一个问题,所以我认为它仍然没有那么值得努力。比之前链接的更多细节: https://bugzilla.kernel.org/show_bug.cgi?id=15559
UPD : 哦,有一个解决方法,似乎让我的一些核心恢复生机:
/sys/devices/system/cpu# for AA in `seq 2 1 7` ; do echo "0" > cpu$AA/online ; done;
/sys/devices/system/cpu# for AA in `seq 2 1 7` ; do echo "1" > cpu$AA/online ; done;