# CONFIG_ACPI_REV_OVERRIDE_POSSIBLE is not set