diff --git a/hosts/c1/hardware.nix b/hosts/c1/hardware.nix
index 1054f27..570e713 100644
--- a/hosts/c1/hardware.nix
+++ b/hosts/c1/hardware.nix
@@ -46,6 +46,6 @@
     randomEncryption.enable = true;
   }];
 
-  nixpkgs.hostPlatform = lib.mkDefault "x86_64-linux";
-  hardware.cpu.intel.updateMicrocode = lib.mkDefault config.hardware.enableRedistributableFirmware;
+  nixpkgs.hostPlatform = "x86_64-linux";
+  hardware.cpu.intel.updateMicrocode = true;
 }
diff --git a/hosts/c2/hardware.nix b/hosts/c2/hardware.nix
index de5a622..6e6d080 100644
--- a/hosts/c2/hardware.nix
+++ b/hosts/c2/hardware.nix
@@ -46,6 +46,6 @@
     randomEncryption.enable = true;
   }];
 
-  nixpkgs.hostPlatform = lib.mkDefault "x86_64-linux";
-  hardware.cpu.intel.updateMicrocode = lib.mkDefault config.hardware.enableRedistributableFirmware;
+  nixpkgs.hostPlatform = "x86_64-linux";
+  hardware.cpu.intel.updateMicrocode = true;
 }
diff --git a/hosts/c3/hardware.nix b/hosts/c3/hardware.nix
index cd716ce..ae97a38 100644
--- a/hosts/c3/hardware.nix
+++ b/hosts/c3/hardware.nix
@@ -46,6 +46,6 @@
     randomEncryption.enable = true;
   }];
 
-  nixpkgs.hostPlatform = lib.mkDefault "x86_64-linux";
-  hardware.cpu.intel.updateMicrocode = lib.mkDefault config.hardware.enableRedistributableFirmware;
+  nixpkgs.hostPlatform = "x86_64-linux";
+  hardware.cpu.intel.updateMicrocode = true;
 }