# CONFIG_SND_HDA_CODEC_SIGMATEL is not set
