Re: [Linaro-acpi] [PATCH v4 18/18] Documentation: ACPI for ARM64