[Linaro-acpi] [patch v11 13/23] ACPI / processor: Introduce phys_cpuid_t for CPU hardware ID