Record acpi_mcfg

struct acpi_mcfg {
  struct acpi_sdt_hdr hdr;
  uacpi_u64 rsvd;
  struct acpi_mcfg_allocation[] entries;
  /* Full declaration omitted */ 
}