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