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