anchor.diff:        default = true;
         example = false;
         description = ''
  -        Whether to activate VESA video mode on boot
  +        Whether to activate VESA video mode on boot.
         '';
       };
   
  
positive.code:     };
      
      boot.initrd.kernelModules = mkOption {
        default = [
        ];
        description = "List of modules that are always loaded by the initrd.";
      };
  
  
negative.code:     system.modulesTree = [ kernel ] ++ config.boot.extraModulePackages;
  
      boot.kernelParams =
        [ "splash=verbose"
          # Force the Completely Fair Scheduler to be used by default.
          "elevator=cfq"
        ] ++ 
        optional config.boot.vesa "vga=0x317";
        
      boot.kernelModules = [ "loop" ];
  