modified some files, removed backup files

machines/base.nix

@@ -34,6 +34,6 @@
     uid = 1000;
   };
 
-  envirnment.shells = with pkgs; [ bash ];
+  environment.shells = with pkgs; [ bash ];
   users.defaultUserShell = pkgs.bash;
 }

machines/workstation/configuration.nix

@@ -11,6 +11,7 @@
       ../base.nix
       ../../system/services/cups.nix
       ../../system/services/ssh.nix
+      ../../system/hardware/kernel.nix
     ];
 
   # Use the systemd-boot EFI boot loader.