# CONFIG_XEN_ACPI is not set
