Record acpi_ecdt

struct acpi_ecdt {
  struct acpi_sdt_hdr hdr;
  struct acpi_gas ec_control;
  struct acpi_gas ec_data;
  uacpi_u32 uid;
  uacpi_u8 gpe_bit;
  uacpi_char[] ec_id;
  /* Full declaration omitted */ 
}