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