# CONFIG_DRM_DW_HDMI_AHB_AUDIO is not set