Re: [Linaro-acpi] [PATCH v10 10/21] ARM64 / ACPI: Get PSCI flags in FADT for PSCI init