Add an IO-APIC vdev to the MADT (x86)
#include <qvm/firmware.h>
void gacpi_register_ioapic(vdev_t *vdev, unsigned apic_id)
Use this function on x86 platforms to add an IO-APIC virtual device to the Multiple APIC Description Table (MADT).