diff --git a/src/platform/am1i/default.nix b/src/platform/am1i/default.nix
index 9c02e9a..363f494 100644
--- a/src/platform/am1i/default.nix
+++ b/src/platform/am1i/default.nix
@@ -1,7 +1,8 @@
 { lib ? import <nixpkgs/lib>
+, hostPlatform ? lib.systems.examples.gnu64
 }:
 {
-  hostPlatform = lib.systems.examples.gnu64;
+  inherit hostPlatform;
 
   overlay = (final: prev: {
 
diff --git a/src/platform/kevin/default.nix b/src/platform/kevin/default.nix
index 2ca4dc5..e814592 100644
--- a/src/platform/kevin/default.nix
+++ b/src/platform/kevin/default.nix
@@ -1,4 +1,5 @@
 { lib ? import <nixpkgs/lib>
+, hostPlatform ? lib.systems.examples.aarch64-multiplatform
 }:
 let
   # order matters!  this is also the order in which the modules are insmoded
@@ -33,7 +34,7 @@ let
     "drivers/net/wireless/marvell/mwifiex/mwifiex.ko"
   ];
 in {
-  hostPlatform = lib.systems.examples.aarch64-multiplatform;
+  inherit hostPlatform;
 
   overlay = (final: prev: {
     nixpkgsOnBuildForHost = prev.nixpkgsOnBuildForBuild.pkgsCross.aarch64-multiplatform;
diff --git a/src/platform/kgpe/default.nix b/src/platform/kgpe/default.nix
index 699f637..c4aaef7 100644
--- a/src/platform/kgpe/default.nix
+++ b/src/platform/kgpe/default.nix
@@ -1,10 +1,11 @@
 { lib ? import <nixpkgs/lib>
+, hostPlatform ? lib.systems.examples.gnu64
 }:
 let
   update_microcode = true;
 in
 {
-  hostPlatform = lib.systems.examples.gnu64;
+  inherit hostPlatform;
 
   overlay = (final: prev: {