Re: [Linaro-acpi] ACPI namespace details for ARM64