Kann es sein, dass das System irgendwann im ACPI Modus installiert wurde - ohne APIC (vorsicht! bitte ACPI und APIC nicht verwechseln)- oder gar im Standard-PC Modus? Dann könnten nämlich 8 Cores installiert sein, das Betriebssystem würde nur einen erkennen.
Schau mal bitte im Geräte-Manager unter "Computer" was dort steht. Da sollte NICHT stehen "Standard-PC" oder "ACPI-PC", sondern wenigstens "ACPI Uniprozessor-PC", im Idealfall "ACPI Multiprozessor-PC". Check das mal please
