[Linaro-acpi] [PATCH v10 14/21] ACPI / processor: Make it possible to get CPU hardware ID via GICC