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