// UINT16 Reserved\r
Gicd->Reserved1 = EFI_ACPI_RESERVED_WORD;\r
// UINT32 Identifier\r
- Gicd->GicId = GicDInfo->GicId;\r
+ // One, and only one, GIC distributor structure must be present\r
+ // in the MADT for an ARM based system\r
+ Gicd->GicId = 0;\r
// UINT64 PhysicalBaseAddress\r
Gicd->PhysicalBaseAddress = GicDInfo->PhysicalBaseAddress;\r
// UINT32 VectorBase\r