Try RPI kernel, again

README.org

@@ -680,7 +680,7 @@ This section is very much a work in progress. I have struggled to get this devic
     inputs.nixos-hardware.nixosModules.raspberry-pi-4
   ];
 
-  # boot.kernelPackages = pkgs.linuxPackages_rpi4;
+  boot.kernelPackages = pkgs.linuxPackages_rpi4;
   boot.tmpOnTmpfs = true;
   boot.initrd.availableKernelModules = [ "usbhid" "usb_storage" ];
   boot.kernelParams = [

hosts/raspberry/hardware.nix

@@ -6,7 +6,7 @@
     inputs.nixos-hardware.nixosModules.raspberry-pi-4
   ];
 
-  # boot.kernelPackages = pkgs.linuxPackages_rpi4;
+  boot.kernelPackages = pkgs.linuxPackages_rpi4;
   boot.tmpOnTmpfs = true;
   boot.initrd.availableKernelModules = [ "usbhid" "usb_storage" ];
   boot.kernelParams = [