[Linaro-acpi] [PATCH v3 1/7] ACPI / processor: Introduce invalid_logical_cpuid()