Improved configuration

hosts/nixos/Bellerophon/default.nix

@@ -65,6 +65,7 @@
       "hosts/common/optional/audio.nix" # pipewire and cli controls
       "hosts/common/optional/kde.nix"
       "hosts/common/optional/sddm.nix"
+      "hosts/common/optional/thermal-management.nix"
     ])
   ];
 

hosts/nixos/Bellerophon/hardware-configuration.nix

@@ -14,7 +14,7 @@
 
   boot.initrd.availableKernelModules = ["xhci_pci" "thunderbolt" "vmd" "nvme" "usbhid"];
   boot.initrd.kernelModules = [];
-  boot.kernelPackages = pkgs.linuxPackages_6_12;
+  boot.kernelPackages = pkgs.linuxPackages_zen;
   boot.kernelModules = ["kvm-intel"];
   boot.kernelPatches = [
     /*
@@ -25,7 +25,6 @@
     */
   ];
 
-
   # Enables DHCP on each ethernet and wireless interface. In case of scripted networking
   # (the default) this is the recommended approach. When using systemd-networkd it's
   # still possible to use this option, but it's recommended to use it in conjunction