diff --git a/Hardware/raspberry_pi_3_model_B.nix b/Hardware/raspberry_pi_3_model_B.nix
index 9f08bb9..2ad6221 100644
--- a/Hardware/raspberry_pi_3_model_B.nix
+++ b/Hardware/raspberry_pi_3_model_B.nix
@@ -27,10 +27,10 @@
         enable = true;
         version = 3;
         uboot.enable = true;
-        firmwareConfig = [
+        firmwareConfig = ''
           "arm_64bit=1"            # Force kernel loading system to assume a 64-bit kernel
           "hdmi_force_hotplug=1"   # Enable headless booting
-        ];
+        '';
       };
     };
   };