# CONFIG_THINKPAD_ACPI_DEBUG is not set