Jav

Tienes que cambiar el driver del equipo en el administrador de dispositivos. Seguramente tendras uno que pone: "Equipo monoprocesador ACPI". Debes cambiarlo por el que dice "Equipo multiprocesador ACPI". Se modifica como cualquier otro driver y esta dentro de windows asi que no hay que bajarlo de ningun lado simplemente actualizarlo manualmente diciendo que te muestre una lista de donde elegir.

Un saludo.