# CONFIG_ACPI_NFIT is not set