[PATCH 3.18 55/58] xen: XEN_ACPI_PROCESSOR is Dom0-only