Re: [Linaro-acpi] [PATCH v6 08/17] ARM64 / ACPI: Parse FADT table to get PSCI flags for PSCI init