ACPI: Handle CONFIG_ACPI=n better from linux/acpi.h