Re: [Linaro-acpi] [PATCH v8 13/21] ARM64 / ACPI: Parse MADT for SMP initialization