[PATCH v8 23/37] drivers/arm: Implement acpi_fill_madt