Core i5 4570T + Asus GRYPHON Z87の環境でFedora19でサーバ運用していたのだけれど、
カーネルを3.12.5に更新してからCPUのEISTが効かなくなった。（常に2.9GHz駆動になる）
カーネル3.11.10だったらEISTが効いていて、低負荷時にはクロックが800MHzに落ちていた。
現在、Fedora20でも同様の状態（カーネルも3.12.5）なのだが、EISTを効かせるにはどうやれば
いいんだろうか。