Re: [PATCH v3 20/30] drivers/arm: Implement acpi_fill_madt