# CONFIG_DRM_SUN6I_DSI is not set