# CONFIG_VIDEO_SYNOPSYS_HDMIRX is not set
