# CONFIG_DRM_PANEL_MIPI_DBI is not set
