Comment 3 for bug 513905

David MENTRÉ (dmentre) wrote :

Hello Chris,

I checked into the BIOS: the CPU was correctly seen as having two cores but I enabled ACPI v3.0 (vs. ACPI v1.0 previously) and I enabled APIC (vs. disabled previously). The second core is now seen!!

I'm closing the bug (-> Fix Released).

Sorry for the noise.

Best regards,
d.