[Linaro-acpi] [PATCH v3 part1 00/11] Enable ACPI on ARM64 in Kconfig