Record acpi_madt_platform_interrupt_source

struct acpi_madt_platform_interrupt_source {
  struct acpi_entry_hdr hdr;
  uacpi_u16 flags;
  uacpi_u8 type;
  uacpi_u8 processor_id;
  uacpi_u8 processor_eid;
  uacpi_u8 iosapic_vector;
  uacpi_u32 gsi;
  uacpi_u32 platform_flags;
  /* Full declaration omitted */ 
}