[Linaro-acpi] [PATCH v4 00/13] Enable ACPI on ARM64 in Kconfig