# CONFIG_SND_SOC_CS4271 is not set