default or selected kernelversion does not have config value CONFIG_SND_SOC_ARNDALE_RT5631_ALC5631.
Result is shown for kernelversion 6.9.9

Audio support for RT5631(ALC5631) on Arndale Board

modulename: snd-soc-arndale-rt5631.ko

configname: CONFIG_SND_SOC_ARNDALE_RT5631_ALC5631

Linux Kernel Configuration
└─>Device Drivers
└─>Sound card support
└─>Advanced Linux Sound Architecture
└─>ALSA for SoC audio support
└─>ASoC support for Samsung
└─>Audio support for RT5631(ALC5631) on Arndale Board
In linux kernel since version 3.19 (release Date: 2015-02-08)  
source code:
sound/soc//samsung/