u-boot/configs/rk3128x_defconfig
.. .. @@ -120,7 +120,7 @@ 120 120 CONFIG_DRM_ROCKCHIP=y 121 121 CONFIG_DRM_ROCKCHIP_DW_HDMI=y 122 122 CONFIG_ROCKCHIP_INNO_HDMI_PHY=y 123 -CONFIG_ROCKCHIP_DRM_TVE=y123 +CONFIG_DRM_ROCKCHIP_TVE=y124 124 CONFIG_LCD=y 125 125 CONFIG_USE_TINY_PRINTF=y 126 126 CONFIG_SPL_TINY_MEMSET=y