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