Gracias por la respuesta. Después de varios días así, ahora miro y veo que ha parado. Aunque la CPU aun sigue a unos 5,60 Ghz... continuamente. En fin, no sé por qué sería. ¿tendrá que ver con la función esa que viene activada de protección del kernel por virtualización? (o algo así). Leí que eso consumía CPU. Bueno, en cualquier caso no haré nada, mientras no note que me empeora el rendimiento.