please restore CONFIG_ACPI_REV_OVERRIDE_POSSIBLE