diff --git a/modules/system/hosts/seele/hardware-configuration.nix b/modules/system/hosts/seele/hardware-configuration.nix
index c7e4e4f..dd1ae92 100644
--- a/modules/system/hosts/seele/hardware-configuration.nix
+++ b/modules/system/hosts/seele/hardware-configuration.nix
@@ -1,37 +1,50 @@
-{ lib, config, ... }:
+{
+  lib,
+  config,
+  modulesPath,
+  ...
+}:
 
 {
-  flake.nixosModules.seele = { config, ... }: {
-    boot.initrd.availableKernelModules = [
-      "xhci_pci"
-      "nvme"
-      "usb_storage"
-      "sd_mod"
-      "sdhci_pci"
-    ];
-    boot.initrd.kernelModules = [ ];
-    boot.kernelModules = [ "kvm-intel" ];
-    boot.extraModulePackages = [ ];
+  flake.nixosModules.seele =
+    {
+      config,
+      lib,
 
-    fileSystems."/" = {
-      device = "/dev/disk/by-uuid/629196f0-60e9-476e-b294-0d22fd7279c4";
-      fsType = "xfs";
-    };
-
-    fileSystems."/boot" = {
-      device = "/dev/disk/by-uuid/2474-C1E6";
-      fsType = "vfat";
-      options = [
-        "fmask=0077"
-        "dmask=0077"
+      ...
+    }:
+    {
+      boot.initrd.availableKernelModules = [
+        "xhci_pci"
+        "nvme"
+        "usb_storage"
+        "sd_mod"
+        "sdhci_pci"
       ];
+      boot.initrd.kernelModules = [ ];
+      boot.kernelModules = [ "kvm-intel" ];
+      boot.extraModulePackages = [ ];
+
+      fileSystems."/" = {
+        device = "/dev/disk/by-uuid/629196f0-60e9-476e-b294-0d22fd7279c4";
+        fsType = "xfs";
+      };
+
+      fileSystems."/boot" = {
+        device = "/dev/disk/by-uuid/2474-C1E6";
+        fsType = "vfat";
+        options = [
+          "fmask=0077"
+          "dmask=0077"
+        ];
+      };
+
+      swapDevices = [
+        { device = "/dev/disk/by-uuid/166d1fb4-527f-4fda-a6bf-85aad4a4f917"; }
+      ];
+
+      nixpkgs.hostPlatform = lib.mkDefault "x86_64-linux";
+      hardware.cpu.intel.updateMicrocode = lib.mkDefault config.hardware.enableRedistributableFirmware;
+      hardware.enableRedistributableFirmware = true;
     };
-
-    swapDevices = [
-      { device = "/dev/disk/by-uuid/166d1fb4-527f-4fda-a6bf-85aad4a4f917"; }
-    ];
-
-    nixpkgs.hostPlatform = lib.mkDefault "x86_64-linux";
-    hardware.cpu.intel.updateMicrocode = lib.mkDefault config.hardware.enableRedistributableFirmware;
-  };
 }