[Linaro-acpi] [PATCH 01/10] ARM64 / ACPI: MADT for armv8 foundation model