Record acpi_dbg2

struct acpi_dbg2 {
  struct acpi_sdt_hdr hdr;
  uacpi_u32 offset_dbg_device_info;
  uacpi_u32 number_dbg_device_info;
  /* Full declaration omitted */ 
}