[PATCH] x86-64: Don't trust boot_cpu_id in the mptable.