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