# CONFIG_ACPI_REDUCED_HARDWARE_ONLY is not set
