hw/arm/virt-acpi-build: fix MADT generation