[Linaro-acpi] [PATCH] Revert "ACPI / processor: Make it possible to get APIC ID via GIC"