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