pdw-frankiel: remove i915-sriov-dkms

hosts/pdw-frankiel/configuration.nix

@@ -14,37 +14,15 @@ in
   ];
 
   boot = {
-    extraModulePackages = [
-      pkgs.i915-sriov
-    ];
-
     kernelParams = [
       "intel_iommu=on"
       "i915-enable_guc=3"
-      "i915.max_vfs=1"
-      "module_blacklist=xe"
     ];
   };
 
-  systemd.tmpfiles.rules = [
-    "w /sys/devices/pci0000:00/0000:00:02.0/sriov_numvfs -    -    -    -   1"
-  ];
-
   networking.hostName = "pdw-frankiel";
 
   services = {
-    udev.packages = [
-      (pkgs.writeTextFile {
-        name = "i915-sriov";
-
-        text = ''
-          ACTION=="add", SUBSYSTEM=="pci", KERNEL=="0000:00:02.[1-7]", ATTR{vendor}=="0x8086", ATTR{device}=="0xa7a0", DRIVER!="vfio-pci", RUN+="/bin/sh -c 'echo \$kernel > /sys/bus/pci/devices/\$kernel/driver/unbind; echo vfio-pci > /sys/bus/pci/devices/\$kernel/driver_override; modprobe vfio-pci; echo \$kernel > /sys/bus/pci/drivers/vfio-pci/bind'"
-        '';
-
-        destination = "/etc/udev/rules.d/80-i915-sriov.rules";
-      })
-    ];
-
     printing.enable = true;
 
     keyd = {