# CONFIG_DRM_RCAR_DW_HDMI is not set