Re: [Linaro-acpi] [PATCH v9 20/21] Documentation: ACPI for ARM64