Replace general CONFIG_ENCODERS by more fine-grained CONFIG_WMV2_ENCODER.