Re: [Linaro-acpi] [PATCH 00/14] armv8 ACPI bringup