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