diff --git a/systems/aarch64-linux/orange/hardware.nix b/systems/aarch64-linux/orange/hardware.nix
index b7c21d4..5f23a76 100644
--- a/systems/aarch64-linux/orange/hardware.nix
+++ b/systems/aarch64-linux/orange/hardware.nix
@@ -21,20 +21,22 @@
   boot = {
     supportedFilesystems.zfs = lib.mkForce false;
     kernelPackages = lib.mkDefault pkgs.linuxKernel.packages.linux_rpi3;
-    initrd.availableKernelModules = [
-      "usbhid"
-      "usb_storage"
-      "vc4"
-      "bcm2835_dma" "i2c_bcm2835"
-      "pcie_brcmstb"      # required for the pcie bus to work
-      "reset-raspberrypi" # required for vl805 firmware to load
+    initrd.kernelModules = [
+      "usbhid" "usb_storage"
+      "vc4" "bcm2835_dma" "i2c_bcm2835"
     ];
 
-    loader.grub.enable = lib.mkDefault false;
+    loader = {
+      grub.enable = lib.mkDefault false;
+      generic-extlinux-compatible.enable = true;
+    };
   };
 
   hardware.enableRedistributableFirmware = true;
   networking.wireless.enable = true;
 
-  hardware.deviceTree.filter = "bcm2837-rpi-3-b-plus.dtb";
+  hardware.deviceTree = {
+    enable = true;
+    filter = "bcm2837-rpi-3-b-plus.dtb";
+  };
 }