> Here's some relevant output of linux dmesg regarding MP on my machine:
[...]
> [    0.000000] Using ACPI (MADT) for SMP configuration information

i think this is the salient bit.  linux is not using the mp tables.  it's using 
acpi.

- erik

Reply via email to