Re: [Linaro-acpi] [PATCH v9 00/21] Introduce ACPI for ARM64 based on ACPI 5.1