# CONFIG_SYSTEM76_ACPI is not set