diff --git a/nixops/rpi-server.nix b/nixops/rpi-server.nix
index c076309..72dfa81 100644
--- a/nixops/rpi-server.nix
+++ b/nixops/rpi-server.nix
@@ -16,6 +16,7 @@
       dtparam=audio=on
     '';
   };
+  boot.kernelParams = ["cma=64M"]; # work around https://github.com/raspberrypi/linux/issues/3208
   boot.kernelPackages = if rpi4 then pkgs.linuxPackages_rpi4 else pkgs.linuxPackages_rpi3;
   hardware.deviceTree.enable = true;
   hardware.deviceTree.base = pkgs.device-tree_rpi;