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