Record acpi_mcfg_allocation

struct acpi_mcfg_allocation {
  uacpi_u64 address;
  uacpi_u16 segment;
  uacpi_u8 start_bus;
  uacpi_u8 end_bus;
  uacpi_u32 rsvd;
  /* Full declaration omitted */ 
}