--- zzzz-none-000/linux-2.6.19.2/drivers/acpi/processor_core.c	2007-01-10 19:10:37.000000000 +0000
+++ davinci-8020-5504/linux-2.6.19.2/drivers/acpi/processor_core.c	2007-01-19 14:42:56.000000000 +0000
@@ -534,7 +534,7 @@
 		return 0;
 	}
 
-	BUG_ON((pr->id >= NR_CPUS) || (pr->id < 0));
+	BUG_ON(pr->id >= NR_CPUS);
 
 	/*
 	 * Buggy BIOS check