Failed to find history of kernel/drivers/xen/xen-acpi-processor.c 520ec20d74dfd87f62fd58b921b7209d6daed94a