[PATCH v5 23/36] drivers/arm: Implement acpi_fill_madt