# CONFIG_ACPI_PFRUT is not set
