Record acpi_madt

struct acpi_madt {
  struct acpi_sdt_hdr hdr;
  uacpi_u32 local_interrupt_controller_address;
  uacpi_u32 flags;
  struct acpi_entry_hdr[] entries;
  /* Full declaration omitted */ 
}