Fix kernel priority

hosts/dacbert/default.nix

@@ -66,6 +66,9 @@ in
   };
 
   boot = {
+    # repeat https://github.com/NixOS/nixos-hardware/blob/master/raspberry-pi/4/default.nix#L20
+    # to overwrite audio module
+    kernelPackages = pkgs.linuxKernel.packages.linux_rpi4;
     loader = {
       raspberryPi = {
         enable = true;

hosts/radiobert/default.nix

@@ -39,7 +39,6 @@
       };
     };
 
-    kernelPackages = pkgs.linuxPackages_latest;
     kernelParams = lib.mkForce [
       "console=tty0"
       # allow GPIO access

modules/audio-server.nix

@@ -6,8 +6,7 @@
   };
 
   config = lib.mkIf config.c3d2.audioServer.enable {
-    # higher than mkDefault but lower than no priority to allow easy overwriting in rpi-netboot
-    boot.kernelPackages = lib.mkOverride 900 pkgs.linuxPackages-rt_latest;
+    boot.kernelPackages = lib.mkDefault pkgs.linuxPackages-rt_latest;
 
     environment.systemPackages = with pkgs; [
       mpd