default or selected kernelversion does not have config value CONFIG_SND_CS4231_LIB.
Result is shown for kernelversion 5.3.7
CONFIG_SND_CS4231_LIB (not configurable)
modulename: snd-cs4231-lib.ko
configname: CONFIG_SND_CS4231_LIB
Linux Kernel Configuration
└─>Device Drivers
└─>Sound card support
└─>Advanced Linux Sound Architecture
└─>SND_CS4231_LIB