# CONFIG_ACPI_FFH is not set
