platform_set_drvdata(pdev, data);
 
        if (dmi_check_system(i8k_blacklist_fan_support_dmi_table)) {
-               dev_warn(&pdev->dev, "broken Dell BIOS detected, disallow fan support\n");
-               if (!force)
+               if (!force) {
+                       dev_notice(&pdev->dev, "Disabling fan support due to BIOS bugs\n");
                        data->disallow_fan_support = true;
+               } else {
+                       dev_warn(&pdev->dev, "Enabling fan support despite BIOS bugs\n");
+               }
        }
 
        if (dmi_check_system(i8k_blacklist_fan_type_dmi_table)) {
-               dev_warn(&pdev->dev, "broken Dell BIOS detected, disallow fan type call\n");
-               if (!force)
+               if (!force) {
+                       dev_notice(&pdev->dev, "Disabling fan type call due to BIOS bugs\n");
                        data->disallow_fan_type_call = true;
+               } else {
+                       dev_warn(&pdev->dev, "Enabling fan type call despite BIOS bugs\n");
+               }
        }
 
        strscpy(data->bios_version, i8k_get_dmi_data(DMI_BIOS_VERSION),