Re: [Linaro-acpi] [patch v11 14/23] ACPI / processor: Make it possible to get CPU hardware ID via GICC