CONFIG_XEN_ACPI=y
