diff --git a/.forgejo/workflows/deploy.yml b/.forgejo/workflows/deploy.yml
index d69d66e..d7d7fd8 100644
--- a/.forgejo/workflows/deploy.yml
+++ b/.forgejo/workflows/deploy.yml
@@ -29,7 +29,7 @@ jobs:
         run: nix build .#nixosConfigurations.cryodev-pi.config.system.build.toplevel --impure
 
   build-pi-images:
-    needs: flake-check
+    needs: build-hosts
     runs-on: host
     strategy:
       matrix:
diff --git a/hosts/cryodev-pi/hardware.nix b/hosts/cryodev-pi/hardware.nix
index a0d751a..bb0722b 100644
--- a/hosts/cryodev-pi/hardware.nix
+++ b/hosts/cryodev-pi/hardware.nix
@@ -3,11 +3,15 @@
 {
   boot = {
     kernelPackages = pkgs.linuxKernel.packages.linux_rpi4;
-    initrd.availableKernelModules = [
-      "xhci_pci"
-      "usbhid"
-      "usb_storage"
-    ];
+    initrd = {
+      availableKernelModules = [
+        "xhci_pci"
+        "usbhid"
+        "usb_storage"
+      ];
+      # Disable default x86 modules that don't exist in the Pi kernel (e.g. dw-hdmi)
+      includeDefaultModules = false;
+    };
   };
 
   fileSystems = {
diff --git a/templates/raspberry-pi/hardware.nix b/templates/raspberry-pi/hardware.nix
index a0d751a..bb0722b 100644
--- a/templates/raspberry-pi/hardware.nix
+++ b/templates/raspberry-pi/hardware.nix
@@ -3,11 +3,15 @@
 {
   boot = {
     kernelPackages = pkgs.linuxKernel.packages.linux_rpi4;
-    initrd.availableKernelModules = [
-      "xhci_pci"
-      "usbhid"
-      "usb_storage"
-    ];
+    initrd = {
+      availableKernelModules = [
+        "xhci_pci"
+        "usbhid"
+        "usb_storage"
+      ];
+      # Disable default x86 modules that don't exist in the Pi kernel (e.g. dw-hdmi)
+      includeDefaultModules = false;
+    };
   };
 
   fileSystems = {