Not that this is a great answer, but the way I&#39;ve done SMP boot without parsing either the ACPI or MPS tables was to issue broadcast init and startup IPIs, rather than targeted ones. All the CPUs in an i7-based machine came up, fwiw...<div>

<br></div><div>-- vs</div>