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