u-boot/configs/rk3328_defconfig
.. .. @@ -129,7 +129,7 @@ 129 129 CONFIG_DRM_ROCKCHIP_PANEL=y 130 130 CONFIG_DRM_ROCKCHIP_DW_HDMI=y 131 131 CONFIG_ROCKCHIP_INNO_HDMI_PHY=y 132 -CONFIG_ROCKCHIP_DRM_TVE=y132 +CONFIG_DRM_ROCKCHIP_TVE=y133 133 CONFIG_LCD=y 134 134 # CONFIG_IRQ is not set 135 135 CONFIG_USE_TINY_PRINTF=y