add the raspberry pi 4 configuration things to wheatley

nixos/hosts/wheatley/configuration.nix

@@ -17,6 +17,7 @@
     # Import shared configurations
     ../../shared
     # ../../../disko/wheatley
+    inputs.nixos-hardware.nixosModules.raspberrt-pi-4
   ];
 
   boot.loader.generic-extlinux-compatible.enable = true;
@@ -32,6 +33,10 @@
   nixpkgs = {
     # You can add overlays here
     overlays = [
+      (final: super: {
+        makeModulesClosure = x:
+          super.makeModulesClosure (x // {allowMissing = true;});
+      })
     ];
     # Configure your nixpkgs instance
     config = {
@@ -40,6 +45,8 @@
     };
   };
 
+  hardware.raspberry-pi."4".fkms-3d.enable = true;
+
   sops.defaultSopsFile = ./secrets/sops.yaml;
 
   sops.secrets."wireless.env".mode = "0440";
@@ -49,6 +56,7 @@
     age
     git
     htop
+    libraspberrypi
   ];
 
   boot.kernelParams = [
@@ -78,6 +86,7 @@
   };
 
   networking.wireless.enable = true;
+  networking.networkmanager.wifi.powersave = false;
   # networking.wireless.environmentFile = config.sops.secrets."wireless.env".path;
   # networking.wireless.networks."KPNAA6306" = {
   #   hidden = true;
@@ -114,6 +123,8 @@
 
   networking.hostName = "wheatley"; # Define your hostname
 
+  boot.kernelPackages = lib.mkForce pkgs.linuxKernel.packages.linux_rpi4;
+  boot.supportedFilesystems = lib.mkForce ["vfat" "btrfs" "tmpfs"];
   networking.wireless.interfaces = ["enu1u1"];
 
   # powerManagement.cpuFreqGovernor = "powersave";