# CONFIG_ACPI_EXTLOG is not set