CONFIG_SOUND=y
CONFIG_SND=y
CONFIG_SND_HRTIMER=y
# CONFIG_SND_SUPPORT_OLD_API is not set

# pulseaudio recommends the following
CONFIG_SND_HDA_PREALLOC_SIZE=2048