src/plat/*: allow to override hostPlatform

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: {
 

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;

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: {