# CONFIG_UCSI_ACPI is not set
