Re: [Linaro-acpi] [PATCH v6 17/17] Documentation: ACPI for ARM64