Record acpi_madt_rintc

struct acpi_madt_rintc {
  struct acpi_entry_hdr hdr;
  uacpi_u8 version;
  uacpi_u8 rsvd;
  uacpi_u32 flags;
  uacpi_u64 hart_id;
  uacpi_u32 uid;
  uacpi_u32 ext_intc_id;
  uacpi_u64 address;
  uacpi_u32 size;
  /* Full declaration omitted */ 
}