drivers/xen/xen-acpi-processor.o