return true;
 }
 
-static bool acpi_is_boot_ec(struct acpi_ec *ec)
-{
-       if (!boot_ec)
-               return false;
-       if (ec->command_addr == boot_ec->command_addr &&
-           ec->data_addr == boot_ec->data_addr)
-               return true;
-       return false;
-}
-
 static int acpi_ec_add(struct acpi_device *device)
 {
        struct acpi_ec *ec = NULL;
-       int ret;
-       bool is_ecdt = false;
+       bool dep_update = true;
        acpi_status status;
+       int ret;
 
        strcpy(acpi_device_name(device), ACPI_EC_DEVICE_NAME);
        strcpy(acpi_device_class(device), ACPI_EC_CLASS);
 
        if (!strcmp(acpi_device_hid(device), ACPI_ECDT_HID)) {
-               is_ecdt = true;
+               boot_ec_is_ecdt = true;
                ec = boot_ec;
+               dep_update = false;
        } else {
                ec = acpi_ec_alloc();
                if (!ec)
                        return -ENOMEM;
+
                status = ec_parse_device(device->handle, 0, ec, NULL);
                if (status != AE_CTRL_TERMINATE) {
                        ret = -EINVAL;
                        goto err_alloc;
                }
-       }
 
-       if (acpi_is_boot_ec(ec)) {
-               boot_ec_is_ecdt = is_ecdt;
-               if (!is_ecdt) {
+               if (boot_ec && ec->command_addr == boot_ec->command_addr &&
+                   ec->data_addr == boot_ec->data_addr) {
+                       boot_ec_is_ecdt = false;
                        /*
                         * Trust PNP0C09 namespace location rather than
                         * ECDT ID. But trust ECDT GPE rather than _GPE
        if (ec == boot_ec)
                acpi_handle_info(boot_ec->handle,
                                 "Boot %s EC used to handle transactions and events\n",
-                                is_ecdt ? "ECDT" : "DSDT");
+                                boot_ec_is_ecdt ? "ECDT" : "DSDT");
 
        device->driver_data = ec;
 
        ret = !!request_region(ec->command_addr, 1, "EC cmd");
        WARN(!ret, "Could not request EC cmd io port 0x%lx", ec->command_addr);
 
-       if (!is_ecdt) {
+       if (dep_update) {
                /* Reprobe devices depending on the EC */
                acpi_walk_dep_device_list(ec->handle);
        }