enable /proc/config.gz

previous attempt hadn't noticed that it has a missing dependency

devices/qemu.nix

@@ -13,9 +13,6 @@
     };
   };
   kernel = {
-    checkedConfig = {
-      "BINFMT_SCRIPT" = "y";
-    };
     config = {
       SYSVIPC= "y";
       NO_HZ= "y";

modules/base.nix

@@ -45,10 +45,14 @@ in {
     defaultProfile.packages = with pkgs;
       [ s6 s6-init-bin busybox execline s6-linux-init s6-rc ];
 
-    kernel.config = {
-      "IKCONFIG_PROC" = "y";
+    kernel = rec {
+      config = {
+        IKCONFIG = "y";
+        IKCONFIG_PROC = "y";
+        PROC_FS = "y";
+      };
+      checkedConfig = config;
     };
-
     users.root = {
       uid = 0; gid= 0; gecos = "Root of all evaluation";
       dir = "/";

tests/pppoe/configuration.nix

@@ -18,7 +18,6 @@ in rec {
     in address iface { family = "inet4"; address ="192.168.19.1"; prefixLength = 24;};
 
   kernel.config = {
-    "IKCONFIG_PROC" = "y";
     "PPP" = "y";
     "PPPOE" = "y";
     "PPPOL2TP" = "y";