diff --git a/sd-image/default.nix b/sd-image/default.nix
index 335e0c3..2542a9e 100644
--- a/sd-image/default.nix
+++ b/sd-image/default.nix
@@ -8,11 +8,8 @@
 
   boot.consoleLogLevel = lib.mkDefault 7;
 
-  # The serial ports listed here are:
-  # - ttyS0: for Tegra (Jetson TX1)
-  # - ttyAMA0: for QEMU's -machine virt
-  boot.kernelParams =
-    [ "console=ttyS0,115200n8" "console=ttyAMA0,115200n8" "console=tty0" ];
+  # https://github.com/raspberrypi/firmware/issues/1539#issuecomment-784498108
+  boot.kernelParams = [ "console=ttyS0,115200n8" "console=tty0" ];
 
   sdImage = {
     populateFirmwareCommands = let