kernel/baseconfig/arm/armv7/CONFIG_DRM_SUN4I_HDMI