return;
        }
 
-       if (bus->ppcap) {
-               err = skl_machine_device_register(skl);
-               if (err < 0) {
-                       dev_err(bus->dev, "machine register failed: %d\n", err);
-                       goto out_err;
-               }
+       err = skl_machine_device_register(skl);
+       if (err < 0) {
+               dev_err(bus->dev, "machine register failed: %d\n", err);
+               goto out_err;
        }
 
        /*
 
        pci_set_drvdata(skl->pci, bus);
 
-       /* check if dsp is there */
-       if (bus->ppcap) {
-               /* create device for dsp clk */
-               err = skl_clock_device_register(skl);
-               if (err < 0)
-                       goto out_clk_free;
+       /* create device for dsp clk */
+       err = skl_clock_device_register(skl);
+       if (err < 0)
+               goto out_clk_free;
 
-               err = skl_find_machine(skl, (void *)pci_id->driver_data);
-               if (err < 0)
-                       goto out_nhlt_free;
+       err = skl_find_machine(skl, (void *)pci_id->driver_data);
+       if (err < 0)
+               goto out_nhlt_free;
 
-               err = skl_init_dsp(skl);
-               if (err < 0) {
-                       dev_dbg(bus->dev, "error failed to register dsp\n");
-                       goto out_nhlt_free;
-               }
-               skl->skl_sst->enable_miscbdcge = skl_enable_miscbdcge;
-               skl->skl_sst->clock_power_gating = skl_clock_power_gating;
+       err = skl_init_dsp(skl);
+       if (err < 0) {
+               dev_dbg(bus->dev, "error failed to register dsp\n");
+               goto out_nhlt_free;
        }
+       skl->skl_sst->enable_miscbdcge = skl_enable_miscbdcge;
+       skl->skl_sst->clock_power_gating = skl_clock_power_gating;
+
        if (bus->mlcap)
                snd_hdac_ext_bus_get_ml_capabilities(bus);