add enable option to config

rpi/default.nix

@@ -20,21 +20,61 @@
   # Default config.txt on Raspberry Pi OS:
   # https://github.com/RPi-Distro/pi-gen/blob/master/stage1/00-boot-files/files/config.txt
   hardware.raspberry-pi.config = {
-    cm4 = { options = { otg_mode = true; }; };
-    pi4 = { options = { arm_boost = true; }; };
+    cm4 = {
+      options = {
+        otg_mode = {
+          enable = true;
+          value = true;
+        };
+      };
+    };
+    pi4 = {
+      options = {
+        arm_boost = {
+          enable = true;
+          value = true;
+        };
+      };
+    };
     all = {
       options = {
         # The firmware will start our u-boot binary rather than a
         # linux kernel.
-        kernel = "u-boot-rpi-arm64.bin";
-        arm_64bit = true;
-        enable_uart = true;
-        avoid_warnings = true;
-        camera_auto_detect = true;
-        display_auto_detect = true;
-        disable_overscan = true;
+        kernel = {
+          enable = true;
+          value = "u-boot-rpi-arm64.bin";
+        };
+        arm_64bit = {
+          enable = true;
+          value = true;
+        };
+        enable_uart = {
+          enable = true;
+          value = true;
+        };
+        avoid_warnings = {
+          enable = true;
+          value = true;
+        };
+        camera_auto_detect = {
+          enable = true;
+          value = true;
+        };
+        display_auto_detect = {
+          enable = true;
+          value = true;
+        };
+        disable_overscan = {
+          enable = true;
+          value = true;
+        };
+      };
+      dt-overlays = {
+        vc4-kms-v3d = {
+          enable = true;
+          params = { cma-256 = { enable = true; }; };
+        };
       };
-      dt-overlays = { vc4-kms-v3d = { }; };
     };
   };