diff --git a/machines/servo/hardware.nix b/machines/servo/hardware.nix
index 8d8c487b..ddb445d7 100644
--- a/machines/servo/hardware.nix
+++ b/machines/servo/hardware.nix
@@ -3,6 +3,12 @@
 { pkgs, ... }:
 
 {
+  # i changed this becuse linux 5.10 didn't have rpi-400 device tree blob.
+  # nixos-22.05 linux 5.15 DOES have these now.
+  # it should be possible to remove this if desired, but i'm not sure how the rpi-specific kernel differs.
+  # see: https://github.com/raspberrypi/linux
+  boot.kernelPackages = pkgs.linuxPackages_rpi4;
+
   # raspberryPi boot loader creates extlinux.conf.
   #   otherwise, enable the generic-extlinux-compatible loader below.
   # note: THESE ARE MUTUALLY EXCLUSIVE. generic-extlinux-compatible causes uboot to not be built