On Tue, Mar 24, 2015 at 10:02:53PM +0800, Hanjun Guo wrote:

From: Graeme Gregory <redacted>

Add Kconfigs to build ACPI on ARM64, and make ACPI available on ARM64.

acpi_idle driver is x86/IA64 dependent now, so make CONFIG_ACPI_PROCESSOR
depend on X86 || IA64, and implement it on ARM64 in the future.

CC: Rafael J. Wysocki <redacted>
CC: Catalin Marinas <catalin.marinas@arm.com>
CC: Will Deacon <redacted>
Reviewed-by: Grant Likely <redacted>
Tested-by: Suravee Suthikulpanit <Suravee.Suthikulpanit@amd.com>
Tested-by: Yijing Wang <redacted>
Tested-by: Mark Langsdorf <redacted>
Tested-by: Jon Masters <redacted>
Tested-by: Timur Tabi <redacted>
Tested-by: Robert Richter <redacted>
Acked-by: Robert Richter <redacted>
Acked-by: Rafael J. Wysocki <redacted>
Signed-off-by: Graeme Gregory <redacted>
Signed-off-by: Al Stone <redacted>
Signed-off-by: Hanjun Guo <redacted>

Acked-by: Catalin Marinas <catalin.marinas@arm.com>