move comment

Author: tstat

rpi/default.nix

@@ -321,6 +321,7 @@ in
         if cfg.uboot.enable then [ ]
         else [
           "console=tty1"
+          # https://github.com/raspberrypi/firmware/issues/1539#issuecomment-784498108
           "console=serial0,115200n8"
           "init=/sbin/init"
         ];

sd-image/default.nix

@@ -8,7 +8,6 @@
 
     boot.consoleLogLevel = lib.mkDefault 7;
 
-    # https://github.com/raspberrypi/firmware/issues/1539#issuecomment-784498108
     boot.kernelParams = [
       # This is ugly and fragile, but the sdImage image has an msdos
       # table, so the partition table id is a 1-indexed hex