Re: [Linaro-acpi] [RFC][PATCH 1/3] ARM / ACPI: MADT for armv8 foundation model