CONFIG_DRM_PANEL_SIMPLE=y
CONFIG_DRM_DW_HDMI_I2S_AUDIO=y
CONFIG_MALI_MIDGARD_FOR_LINUX=y
+CONFIG_MALI_MIDGARD=y
+CONFIG_MALI_DEVFREQ=y
+CONFIG_MALI_EXPERT=y
+CONFIG_MALI_PLATFORM_THIRDPARTY=y
+CONFIG_MALI_PLATFORM_THIRDPARTY_NAME="rk"
CONFIG_MALI400=y
# CONFIG_MALI400_PROFILING is not set
# CONFIG_MALI_DVFS is not set