CONFIG_XEN_ACPI_PROCESSOR=m