Re: [Linaro-acpi] [RFC] ACPI on arm64 TODO List