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