drivers/acpi/acpi_ipmi.o