[PATCH] x86-64: Don't assume APIC for boot processor has an APIC ID of zero