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