# CONFIG_THINKPAD_ACPI_DEBUGFACILITIES is not set