Re: [Linaro-acpi] [update][PATCH v10 13/21] ACPI / processor: Introduce phys_cpuid_t for CPU hardware ID