Index: linux-acpi-2.6/drivers/char/ipmi/ipmi_si_intf.c
===================================================================
--- linux-acpi-2.6.orig/drivers/char/ipmi/ipmi_si_intf.c
+++ linux-acpi-2.6/drivers/char/ipmi/ipmi_si_intf.c
@@ -1484,6 +1484,9 @@ static int try_init_acpi(int intf_num, s
 	char             *io_type;
 	u8 		 addr_space;
 
+	if (acpi_disabled)
+		return -ENODEV;
+
 	if (acpi_failure)
 		return -ENODEV;