# CONFIG_ACPI_HMAT is not set
