fedora-kernel/baseconfig/CONFIG_SND_SOC_HDMI_CODEC