added a config option for ACPI debugging