---

 linux-2.6.15-root/drivers/acpi/processor_core.c |    2 ++
 1 files changed, 2 insertions(+)

diff -puN drivers/acpi/processor_core.c~wrong_acpi_id drivers/acpi/processor_core.c
--- linux-2.6.15/drivers/acpi/processor_core.c~wrong_acpi_id	2006-02-20 09:48:02.000000000 +0800
+++ linux-2.6.15-root/drivers/acpi/processor_core.c	2006-02-20 09:49:44.000000000 +0800
@@ -570,6 +570,8 @@ static int acpi_processor_start(struct a
 	 */
 	if (processor_device_array[pr->id] != NULL &&
 	    processor_device_array[pr->id] != (void *)device) {
+		/* Marked it as invalid */
+		pr->id = NR_CPUS;
 		ACPI_DEBUG_PRINT((ACPI_DB_ERROR, "BIOS reporting wrong ACPI id"
 			"for the processor\n"));
 		return_VALUE(-ENODEV);
_