Re: [Linaro-acpi] [PATCH v9 01/20] ACPI / processor: Introduce phys_cpuid_t for CPU hardware ID