# CONFIG_ACPI_NFIT_DEBUG is not set