[Linaro-acpi] [PATCH][RFC] ARM:ACPI: Introduce map_gic_id() to get the apic id