Re: [PATCH] drm/tegra: drop "select DRM_HDMI"