# CONFIG_ACPI_DEBUG is not set