# CONFIG_DASHARO_ACPI is not set
