[Linaro-uefi] [PATCH] VExpress ACPI MADT Fix