Re: [Linaro-acpi] [patch v11 21/23] Documentation: ACPI for ARM64