Format and add an ACPI table to the guest (x86)
#include <qvm/firmware.h>
void gacpi_add_table(struct guest_system *gsp,
void *table,
size_t len,
uint32_t sig,
uint8_t rev,
const char *table_id,
uint32_t oem_rev)
This function fills out the ACPI table header, and computes the checksum.