Re: [Linaro-acpi] [RFC part1 PATCH 0/7] Make ACPI core running on ARM64