Tenho um power egde e a opção da bios dá certo sim
Só não me lembro ao certo o que tem que mudar.
Dá uma pesquisada que não foi dificil de achar na época não.
Versão Imprimível
tenho 4 dell, funciona como o sergio falou, não esquecer /system hardware set multicpu=no para sua maquina não ficar travando o tempo todo.