# CONFIG_ACPI_DEBUGGER is not set