> i found in nix that when mixing acpi and mp i had to defend against > double-entries for i/o apics since the numbering can be different. but > it will be interesting to see what happened to start 2 cpu1s.
Looks like the same thing: MP table says 2 cpus with apic ids 0 and 1, ACPI table says 2 cpus (the same ones) with ids 0 and 2. Mixing information from MP and ACPI tables seems to me like just asking for trouble.
