Have you tried disabling hyperthreading in BIOS?