Symbol: ACPI_BUS_TYPE_ECDT_EC