Record acpi_madt_nmi_source

struct acpi_madt_nmi_source {
  struct acpi_entry_hdr hdr;
  uacpi_u16 flags;
  uacpi_u32 gsi;
  /* Full declaration omitted */ 
}