xen-acpi-processor: Add missing #include <xen/xen.h>