Mi CPU está funcionando lentamente después de una restauración del sistema (4x0,8 GHz). El Turbo Boost definitivamente no funciona. ¿Cómo puedo solucionarlo?

El fin de semana pasado, mi Macbok Air sufrió un ataque al corazón y terminé haciendo varios apagados forzados debido a que el sistema no respondía. Al final tuve que hacer una restauración completa del sistema.

Ahora todo funciona bien, excepto por una cosa: la CPU es lenta. Mucho más lenta.

La computación relacionada con la CPU es mucho más lenta que antes, aunque no puedo decir con seguridad cuánto exactamente. Cuando ejecuto Ubuntu, controlo la velocidad del reloj y veo que los cuatro núcleos funcionan constantemente a 0,8 GHz. Lo mismo ocurre con OS X cuando se utiliza el Gadget de energía Intel . Solía ser de 1,8GHz a 2,6GHz. (Macbook Air 5-2, i5-3427U)

$ sudo modprobe msr ; sudo turbostat
cor CPU    %c0  GHz 
         11.50 0.80 
  0   0  13.34 0.80 
  0   2   7.76 0.80 
  1   1  18.47 0.80 
  1   3   6.44 0.80 

¿Podría ser un problema relacionado con el software? ¿Qué debo hacer entonces?

Supongo que ves que una suposición oculta es que el firmware está corrupto. Por eso he intentado reinstalar el último firmware para mi Mac desde https://support.apple.com/kb/HT1237 . Pero cuando instalo ese archivo me aparece el error "Este software no es compatible con su sistema". Probablemente porque la última versión del firmware ya está instalada.