anchor.diff:        PARAVIRT_SPINLOCKS  = option yes;
   
         KVM_ASYNC_PF                      = yes;
  -      KVM_COMPAT = { optional = true; tristate = whenBetween "4.0" "4.12" "y"; };
  -      KVM_DEVICE_ASSIGNMENT  = { optional = true; tristate = whenBetween "3.10" "4.12" "y"; };
  +      KVM_COMPAT                        = whenOlder "4.12" (option yes);
  +      KVM_DEVICE_ASSIGNMENT             = whenOlder "4.12" (option yes);
         KVM_GENERIC_DIRTYLOG_READ_PROTECT = yes;
         KVM_GUEST                         = yes;
         KVM_MMIO                          = yes;
  
positive.code:       AIC79XX_DEBUG_ENABLE = no;
        AIC7XXX_DEBUG_ENABLE = no;
        AIC94XX_DEBUG = no;
        B43_PCMCIA = { optional=true; tristate = whenOlder "4.4" "y";};
  
        BLK_DEV_INTEGRITY       = yes;
  
  
negative.code:       DRM_GMA600             = whenOlder "5.13" yes;
        DRM_GMA3600            = whenOlder "5.12" yes;
        DRM_VMWGFX_FBCON       = yes;
        # (experimental) amdgpu support for verde and newer chipsets
        DRM_AMDGPU_SI = yes;
        # (stable) amdgpu support for bonaire and newer chipsets
  