};
 MODULE_DEVICE_TABLE(acpi, wmi_device_ids);
 
+/* allow duplicate GUIDs as these device drivers use struct wmi_driver */
+static const char * const allow_duplicates[] = {
+       "05901221-D566-11D1-B2F0-00A0C9062910", /* wmi-bmof */
+       NULL
+};
+
 static struct platform_driver acpi_wmi_driver = {
        .driver = {
                .name = "acpi-wmi",
        .release = wmi_dev_release,
 };
 
+/*
+ * _WDG is a static list that is only parsed at startup,
+ * so it's safe to count entries without extra protection.
+ */
+static int guid_count(const guid_t *guid)
+{
+       struct wmi_block *wblock;
+       int count = 0;
+
+       list_for_each_entry(wblock, &wmi_block_list, list) {
+               if (guid_equal(&wblock->gblock.guid, guid))
+                       count++;
+       }
+
+       return count;
+}
+
 static int wmi_create_device(struct device *wmi_bus_dev,
                             struct wmi_block *wblock,
                             struct acpi_device *device)
        struct acpi_device_info *info;
        char method[WMI_ACPI_METHOD_NAME_SIZE];
        int result;
+       uint count;
 
        if (wblock->gblock.flags & ACPI_WMI_EVENT) {
                wblock->dev.dev.type = &wmi_type_event;
        wblock->dev.dev.bus = &wmi_bus_type;
        wblock->dev.dev.parent = wmi_bus_dev;
 
-       dev_set_name(&wblock->dev.dev, "%pUL", &wblock->gblock.guid);
+       count = guid_count(&wblock->gblock.guid);
+       if (count)
+               dev_set_name(&wblock->dev.dev, "%pUL-%d", &wblock->gblock.guid, count);
+       else
+               dev_set_name(&wblock->dev.dev, "%pUL", &wblock->gblock.guid);
 
        device_initialize(&wblock->dev.dev);
 
        }
 }
 
-static bool guid_already_parsed(struct acpi_device *device, const guid_t *guid)
+static bool guid_already_parsed_for_legacy(struct acpi_device *device, const guid_t *guid)
 {
        struct wmi_block *wblock;
 
        list_for_each_entry(wblock, &wmi_block_list, list) {
+               /* skip warning and register if we know the driver will use struct wmi_driver */
+               for (int i = 0; allow_duplicates[i] != NULL; i++) {
+                       guid_t tmp;
+
+                       if (guid_parse(allow_duplicates[i], &tmp))
+                               continue;
+                       if (guid_equal(&tmp, guid))
+                               return false;
+               }
                if (guid_equal(&wblock->gblock.guid, guid)) {
                        /*
                         * Because we historically didn't track the relationship
                if (debug_dump_wdg)
                        wmi_dump_wdg(&gblock[i]);
 
-               /*
-                * Some WMI devices, like those for nVidia hooks, have a
-                * duplicate GUID. It's not clear what we should do in this
-                * case yet, so for now, we'll just ignore the duplicate
-                * for device creation.
-                */
-               if (guid_already_parsed(device, &gblock[i].guid))
+               if (guid_already_parsed_for_legacy(device, &gblock[i].guid))
                        continue;
 
                wblock = kzalloc(sizeof(*wblock), GFP_KERNEL);