===== drivers/acpi/bus.c 1.40 vs edited =====
--- 1.40/drivers/acpi/bus.c	Tue Mar 23 01:32:11 2004
+++ edited/drivers/acpi/bus.c	Thu Mar 25 23:50:41 2004
@@ -623,7 +623,8 @@
 		 * now that acpi_fadt is initialized,
 		 * update it with result from INT_SRC_OVR parsing
 		 */
-		acpi_fadt.sci_int = acpi_sci_override_gsi;
+		printk("acpi_fadt.sci_int %d acpi_sci_override_gsi %d\n",
+			acpi_fadt.sci_int, acpi_sci_override_gsi);
 	}
 #endif