[Linaro-acpi] [PATCH linaro-acpi] [RFC 7/7] acpi: Allow ACPI_PROCESSOR for ARM64