Re: [Linaro-acpi] [patch v11 12/23] ARM64 / ACPI: Parse MADT for SMP initialization