Ich habe den Kernelpatch für IvyBrideg bei meiner Recherche neulich gefunden:
Zusätzlich muss man noch in Kernel > Quirks noch AppleXcpmExtraMsrs aktivieren, wenn ich es richtig verstanden habe. Ich frage mich, ob man dazu dann auch SSDT-plug benötigt, um es einzuschalten. Ich probier's mal aus und melde mich mit Feedback.
EDIT: ne, das wird so nix. Rechner läuft mit 1,2 gHz mit dem Patch und SSDT-Plug = 1