anchor.diff:      };
     };
   in (generateNixKConf ((flattenKConf options) // structuredExtraConfig) mkValueOverride) + extraConfig
  -
  
positive.code: 
        SPI        = yes; # needed for many devices
        SPI_MASTER = yes;
  
  
        "8139TOO_8129" = yes;
        "8139TOO_PIO"  = no; # PIO is slower
  
negative.code:       # Enable initrd support.
        BLK_DEV_RAM       = yes;
        BLK_DEV_INITRD    = yes;
  
        PM_TRACE_RTC         = no; # Disable some expensive (?) features.
        ACCESSIBILITY        = yes; # Accessibility support
  