ACPI MADT: Don't use the "Initial APIC ID" in cpu_procinfo(cpuid.1)