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.
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.