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