[Linaro-open-discussions] [RFC PATCH v0.1 16/25] arm64: acpi: Move get_cpu_for_acpi_id() to a header