anchor.diff:  
         extraEntriesBeforeNixOS = mkOption {
           default = false;
  +        type = types.bool;
           description = ''
             Whether extraEntries are included before the default option.
           '';
  
positive.code:       configurationName = mkOption {
          default = "";
          example = "Stable 2.6.21";
          description = ''
            GRUB entry name instead of default.
          '';
  
negative.code: 
        copyKernels = mkOption {
          default = false;
          type = types.bool;
          description = ''
            Whether the GRUB menu builder should copy kernels and initial
            ramdisks to /boot.  This is done automatically if /boot is
  