# CONFIG_ACPI_DEBUGGER is not set
CONFIG_ACPI_EC_DEBUGFS=m
# CONFIG_ACPI_DEBUG is not set
# CONFIG_ACPI_NFIT_DEBUG is not set
# CONFIG_ACPI_APEI_ERST_DEBUG is not set
CONFIG_THINKPAD_ACPI_DEBUGFACILITIES=y
# CONFIG_THINKPAD_ACPI_DEBUG is not set