[Linaro-acpi] [PATCH v2 4/7] Xen / ACPI / processor: use invalid_logical_cpuid()