Re: [Linaro-acpi] [patch v11 19/23] XEN / ACPI: Make XEN ACPI depend on X86