Record acpi_madt_gicr

struct acpi_madt_gicr {
  struct acpi_entry_hdr hdr;
  uacpi_u16 rsvd;
  uacpi_u64 address;
  uacpi_u32 length;
  /* Full declaration omitted */ 
}