Simplify PWM and i2c loading using nixos-hardware

flake.nix

@@ -3,24 +3,29 @@
 
   inputs = {
     nixpkgs.url = "nixpkgs/nixos-unstable";
-    agenix.url = "github:ryantm/agenix";
-    agenix.inputs.nixpkgs.follows = "nixpkgs";
+    agenix = {
+      url = "github:ryantm/agenix";
+      inputs.nixpkgs.follows = "nixpkgs";
+    };
+    nixos-hardware.url = "github:NixOS/nixos-hardware";
   };
 
-  outputs = { self, nixpkgs, agenix, ... }@inputs:
+  outputs = { self, nixpkgs, agenix, nixos-hardware, ... }@inputs:
     let
       system = "aarch64-linux";
 
-      pkgs = import pkgs {
-        inherit system;
-      };
+      pkgs = import pkgs { inherit system; };
 
       lib = nixpkgs.lib;
 
     in {
       nixosConfigurations.zion = lib.nixosSystem {
         inherit system;
-        modules = [ (import ./configuration.nix) agenix.nixosModules.age ];
+        modules = [
+          (import ./configuration.nix)
+          agenix.nixosModules.age
+          nixos-hardware.nixosModules.raspberry-pi-4
+        ];
         specialArgs = { inherit inputs; };
       };